APA-Zitierstil (7. Ausg.)

(1989). Temporal logic in specification: Altrincham, UK, April 8 - 10, 1987 ; proceedings. Springer.

Chicago-Zitierstil (17. Ausg.)

Temporal Logic in Specification: Altrincham, UK, April 8 - 10, 1987 ; Proceedings. Berlin u.a: Springer, 1989.

MLA-Zitierstil (9. Ausg.)

Temporal Logic in Specification: Altrincham, UK, April 8 - 10, 1987 ; Proceedings. Springer, 1989.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.