Goal-directed program transformation (1976)

by B Wegbreit
Venue:IEEE Transactions on Software Engineering SE