APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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

Warning: These citations may not always be 100% accurate.