Peter Pepper Literate Program Derivation: A Case Study. 101-124 1991 conf/cip/1991 Methods of Programming db/conf/cip/cip1991.html#Pepper91