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

(1985). Proceedings of VERkshop III - A Formal Verification Workshop: [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985. Association for Computing Machinery.

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

Proceedings of VERkshop III - A Formal Verification Workshop: [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985. New York: Association for Computing Machinery, 1985.

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

Proceedings of VERkshop III - A Formal Verification Workshop: [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985. Association for Computing Machinery, 1985.