Automating proofs of the absence of common runtime errors (1978)

by S M German
Venue:In Conference record of the Fifth Annual ACM Symposium on Principles of Programming Languages