Computational Semantics of Term Rewriting Systems, chapter 8 of Algebraic Methods (1985)

by G Boudol