D. A. Turner Functional Programming and Miranda. 32-41 1992 conf/ifip/1992-1 IFIP Congress (1) db/conf/ifip/ifip92-1.html#Turner92