Graph-based operational semantics of a lazy functional language (1993)

by K H Rose
Venue:Term Graph Rewriting: Theory and Practice, chapter 22