Logical analysis of programs (1976)

by S Katz, Z Manna
Venue:Communications of the ACM