APA (7th ed.) Citation

NATO Advanced Study Institute on Constructive Methods in Computing Science Marktoberdorf, Germany, & Broy, M. (1989). Constructive methods in computing science: International summer school directed by F.L. Bauer ... [et al.]. Springer-Verlag.

Chicago Style (17th ed.) Citation

NATO Advanced Study Institute on Constructive Methods in Computing Science Marktoberdorf, Germany, and M. Broy. Constructive Methods in Computing Science: International Summer School Directed by F.L. Bauer ... [et Al.]. Berlin: Springer-Verlag, 1989.

MLA (8th ed.) Citation

NATO Advanced Study Institute on Constructive Methods in Computing Science Marktoberdorf, Germany, and M. Broy. Constructive Methods in Computing Science: International Summer School Directed by F.L. Bauer ... [et Al.]. Springer-Verlag, 1989.