Kenneth G. Beauchamp,NATO Advabced Study Institute.NATO Advanced Study Institute (1981 : Bonas, France)：New advances in disrributed computer systems.Reidel,1982.
Computer program synthesis methodologies.Computer program synthesis methodologies：Proceedings of the NATO Advanced Study Institute, Bonas, France, Sep. 28-Oct. 10. 1981.D. Reidel Pub. Com.,1983.
