LEAN – an intermediate language based on graph rewriting (1988)

by H Barendregt, M van Eekelen, J Glauert, J Kennaway, M Plasmeijer, M Sleep
Venue:Parallel Computing