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

NATO Advanced Study Institute on Program Design Calculi Marktoberdorf, Germany, & Broy, M. (1993). Program design calculi. Springer.

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

NATO Advanced Study Institute on Program Design Calculi Marktoberdorf, Germany, και M. Broy. Program Design Calculi. Berlin: Springer, 1993.

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

NATO Advanced Study Institute on Program Design Calculi Marktoberdorf, Germany, και M. Broy. Program Design Calculi. Springer, 1993.