Guy Cousineau Pierre-Louis Curien Michel Mauny The Categorical Abstract Machine. 50-64 1985 FPCA db/conf/fpca/fpca85.html#CousineauCM85