Structure and design of problem reduction generators (1991)

by D R Smith
Venue:In Constructing Programs from Specifications