Guy Cousineau Pierre-Louis Curien Michel Mauny The Categorical Abstract Machine. 173-202 1987 8 Sci. Comput. Program. 2 db/journals/scp/scp8.html#CousineauCM87