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

(1990). Formal Aspects of Computing: The International Journal of Formal Methods. Springer-Verlag.

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

Formal Aspects of Computing: The International Journal of Formal Methods. Berlin: Springer-Verlag, 1990.

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

Formal Aspects of Computing: The International Journal of Formal Methods. Springer-Verlag, 1990.