Term graph rewriting (1987)

by H P Barendregt, M C J D van Eekelen, J R W Glauert, R Kennaway, M J Plasmeijer, M Ronan Sleep
Venue:In Parallel Architechtures and Languages Europe, LNCS 259