Term graph rewriting: theory and practice (1993)

by M R Sleep, M J Plasmeijer, M C