1. Achten P.M., J.H.G. van Groningen and M.J. Plasmeijer, High Level Specification of I/O in Functional Languages, in: Proc. of International Workshop on Functional Languages, Glasgow, UK, Springer Verlag, 1993.
2. Bakel S. van, S. Smetsers and S. Brock, Partial Type Assignment in Left-Linear Term Rewriting Systems, in: J.C. Raoult, editor, Proc. of 17th Colloqium on Trees and Algebra in Programming (CAAP'92), pages 300–322, Rennes, France, Springer Verlag, LNCS 581, 1992.
3. LNCS 259 II;H.P. Barendregt,1987
4. LNCS 259 II;H.P. Barendregt,1987
5. Barendsen Erik and Sjaak Smetsers, Graph Rewriting and Copying, Technical Report 92-20, University of Nijmegen, 1992.