Monads and Modular Term Rewriting (1997)

by Christoph Lüth, Neil Ghani