On the design of generate-and-test algorithms: subspace generators (1987)

by D R Smith
Venue:Program specification and transformation