APA (7th ed.) Citation

NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design Marktoberdorf, Germany, North Atlantic Treaty Organization. Scientific Affairs Division, & Broy, M. (1987). Logic of programming and calculi of discrete design: International Summer School directed by F.L. Bauer ... [et al.]. Springer-Verlag.

Chicago Style (17th ed.) Citation

NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design Marktoberdorf, Germany, North Atlantic Treaty Organization. Scientific Affairs Division, and M. Broy. Logic of Programming and Calculi of Discrete Design: International Summer School Directed by F.L. Bauer ... [et Al.]. Berlin ; New York: Springer-Verlag, 1987.

MLA (9th ed.) Citation

NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design Marktoberdorf, Germany, et al. Logic of Programming and Calculi of Discrete Design: International Summer School Directed by F.L. Bauer ... [et Al.]. Springer-Verlag, 1987.