APA-Zitierstil (7. Ausg.)

Alpern, B., & Schneider, F. B. (1985). Verifying temporal properties without using temporal logic.

Chicago-Zitierstil (17. Ausg.)

Alpern, Bowen, und Fred B. Schneider. Verifying Temporal Properties Without Using Temporal Logic. Ithaca, New York, 1985.

MLA-Zitierstil (9. Ausg.)

Alpern, Bowen, und Fred B. Schneider. Verifying Temporal Properties Without Using Temporal Logic. 1985.