Brian H. Mayoh Data Types as Functions. 56-70 1978 conf/mfcs/1978 MFCS db/conf/mfcs/mfcs78.html#Mayoh78 http://dx.doi.org/10.1007/3-540-08921-7_56