Glauert, J. R. W., Kennaway, J. R. and Sleep, M. R. (1987) DACTL: A computational model and compiler target language based on graph reduction. ICL Technical Journal, 5 (3). pp. 509-537.