1. Term graph reduction;Barendregt,1987
2. HOPE: an experimental applicative language;Burstall,1980
3. Logic Programming;Clark,1982
4. J.R.W. Glauert, J.R. Kennaway and M.R. Sleep, Categorical descriptions of graph rewriting and garbage collection, in preparation.
5. Dactl: A computational model and compiler target language based on graph reduction;Glauert;ICL Technical Journal,1987