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

Floyd, C., & Εhrig, H. (1985). Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985. Springer-Verlag.

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

Floyd, Christiane, και Hartmut Εhrig. Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985. Berlin: Springer-Verlag, 1985.

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

Floyd, Christiane, και Hartmut Εhrig. Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT). Berlin, March 25-29, 1985. Springer-Verlag, 1985.