1. Barendregt, H.P., Leeuwen, M. van, "Functional Programming and the Language Tale", (Eds. J.W. de Bakker, W.-P. de Roever and G. Rozenberg), Springer LNCS 224, pp 122–207, (1986).
2. Barendregt, H.P., Eekelen, M.C.J.D. van, Glauert, J.R.W., Kennaway, J.R., Plasmeijer, M.J., Sleep, M.R., "Towards an Intermediate Language based on Graph Rewriting", University of East-Anglia and University of Nijmegen, Proceedings of the PARLE conference on Parallel Architectures and Languages, Einhoven, the Netherlands, June 1987.
3. Barendregt, H.P., Eekelen, M.C.J.D. van, Glauert, J.R.W., Kennaway, J.R., Plasmeijer, M.J., Sleep, M.R., "Term Graph Reduction", University of East-Anglia and University of Nijmegen, Proceedings of the PARLE conference on Parallel Architectures and Languages", Eindhoven, the Netherlands, June 1987.
4. Barendregt, H.P., Eekelen, M.C.J.D. van, Plasmeijer, M.J., University of Nijmegen; Hartel, P.H., Hertzberger, L.O., Vree, W.G., University of Amsterdam, "The Dutch Parallel Reduction Machine Project", to appear.
5. Cousineau, G., Curien, P.L., Mauny, M., "The Categorical Abstract Machine", Proc. Conf. on Functional Languages and Computer Architecture, Nancy, pp. 50–64, September 1985.