Term graph reduction (1987)

by H P Barendregt, M C J D van Eekelen, J R W Glauert, J R Kennaway, M J Plasmeijer, M R Sleep
Venue:Parallel Architectures and Languages Europe, volume 259 of Lect. Notes in Comp. Sci