Luckham, D. C., & Suzuki, N. Automatic program verification. NTIS.
Chicago-Zitierstil (17. Ausg.)Luckham, David C., und Norihisa Suzuki. Automatic Program Verification. Springfield, Va: NTIS.
MLA-Zitierstil (9. Ausg.)Luckham, David C., und Norihisa Suzuki. Automatic Program Verification. NTIS.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.