Combinator Graph Reduction: A Congruence and its Applications. D.Phil thesis (1989)

by D LESTER