Interactive Program Derivation (1992)

by Martin D Coen