Guy Cousineau, Pierre-Louis Curien, Michel Mauny. The Categorical Abstract Machine. Science of Computer Programming, 8(2):173-202, 1987.
@article{CousineauCM87, title = {The Categorical Abstract Machine}, author = {Guy Cousineau and Pierre-Louis Curien and Michel Mauny}, year = {1987}, tags = {abstract machine}, researchr = {https://researchr.org/publication/CousineauCM87}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {8}, number = {2}, pages = {173-202}, }