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

by J R W Glauert, J R Kennaway, M R Sleep