Interactive program derivation (1992)

by M D Coen