Mechanical Program Analysis (1975)

by B Wegbreit
Venue:Communications of the ACM