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

Colloquium on Temporal Logic in Specification, Banieqbal, B., Barringer, H., & Pnueli, A. (1989). Temporal logic in specification: Altrincham, Uk, April 8-10, 1987 : proceedings. Springer.

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

Colloquium on Temporal Logic in Specification, B. Banieqbal, Howard Barringer, και Amir Pnueli. Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987 : Proceedings. Berlin ; Heidelberg: Springer, 1989.

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

Colloquium on Temporal Logic in Specification, et al. Temporal Logic in Specification: Altrincham, Uk, April 8-10, 1987 : Proceedings. Springer, 1989.