APA (7th ed.) Citation

NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design Marktoberdorf, Germany, & Broy, M. (1987). Logic of programming and calculi of discrete design. Springer-Verlag.

Chicago Style (17th ed.) Citation

NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design Marktoberdorf, Germany, and M. Broy. Logic of Programming and Calculi of Discrete Design. Berlin: Springer-Verlag, 1987.

MLA (8th ed.) Citation

NATO Advanced Study Institute on Logic of Programming and Calculi of Discrete Design Marktoberdorf, Germany, and M. Broy. Logic of Programming and Calculi of Discrete Design. Springer-Verlag, 1987.

Warning: These citations may not always be 100% accurate.