The synthesis of loop predicates (1974)

by B Wegbreit
Venue:Commun. ACM