Computational semantics of term rewriting systems (1985)

by G Boudol
Venue:Algebraic methods in semantics, chapter 5