Mechanical program analysis (1975)

by B Wegbreit
Venue:Commun. ACM