APA-Zitierstil (7. Ausg.)

Danelutto, M., & Masini, A. (1991). TLWT, a temporal logic for concurrent programs.

Chicago-Zitierstil (17. Ausg.)

Danelutto, Marco, und Andrea Masini. TLWT, a Temporal Logic for Concurrent Programs. Pisa, 1991.

MLA-Zitierstil (9. Ausg.)

Danelutto, Marco, und Andrea Masini. TLWT, a Temporal Logic for Concurrent Programs. 1991.

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