Compiling functional languages to term graph rewrite systems (1988)

by P W M Koopman, E G J M H Nöcker