Παραπομπή σε μορφή APA (7η εκδ.)

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 (17η εκδ.)

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

Παραπομπή σε μορφή MLA (8th εκδ.)

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