Structure and design of problem reduction generators (1991)

by Douglas R Smith
Venue:Constructing Programs from Specifications