1. FP/M abstract syntax description;Bailey,1984
2. Functional Programming and the Language Tale;Barendregt,1986
3. Term graph reduction;Barendregt,1987
4. Towards an intermediate language based on graph rewriting;Barendregt,1987
5. R.T. Boute, Functional description of digital systems, in: IFIP WG 10.1 Working Conference on Methodologies for Computer System Design (North-Holland, Amsterdam) 451–467.