A synthesizer of inductive assertions (1975)

by S M German, B Wegbreit
Venue:IEEE Transactions Software Engineering