Dactl: A computational model and compiler target language based on graph reduction (1987)

by J R W Glauert, J R Kennaway, M R Sleep
Venue:ICL Technical Journal