Interactive program derivation. - Martin David Coen (1992)