M. G. Read E. A. Kazmierczak Formal Program Development in Modular Prolog: A Case Study. 69-93 1991 LOPSTR db/conf/lopstr/lopstr91.html#ReadK91