LogIcal analysis of programs (1976)

by S M, Z Manna
Venue:CACM