APA-Zitierstil (7. Ausg.)

Gough, G. D., & Barringer, H. (1987). A semantics driven temporal verification system. Univ.

Chicago-Zitierstil (17. Ausg.)

Gough, Graham D., und Howard Barringer. A Semantics Driven Temporal Verification System. Manchester: Univ, 1987.

MLA-Zitierstil (9. Ausg.)

Gough, Graham D., und Howard Barringer. A Semantics Driven Temporal Verification System. Univ, 1987.

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