Mechanical program analysis (1975)

by Ben Wegbreit
Venue:Comm. ACM