APA-Zitierstil (7. Ausg.)

Luckham, D. C., & Suzuki, N. (1975). Automatic program verification. NTIS.

Chicago-Zitierstil (17. Ausg.)

Luckham, David C., und Norihisa Suzuki. Automatic Program Verification. Springfield, Va: NTIS, 1975.

MLA-Zitierstil (9. Ausg.)

Luckham, David C., und Norihisa Suzuki. Automatic Program Verification. NTIS, 1975.

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