Rod M. Burstall Electronic Category Theory. 22-39 1980 conf/mfcs/1980 MFCS db/conf/mfcs/mfcs80.html#Burstall80 http://dx.doi.org/10.1007/BFb0022493