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

Não informado. (1989). Formal Aspects of Computing. Springer International.

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

Não informado. Formal Aspects of Computing. London: Springer International, 1989.

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

Não informado. Formal Aspects of Computing. Springer International, 1989.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.