Monads and modular term rewriting (1997)

by C Lüth, N Ghani
Venue:In Category Theory in Computer Science CTCS’97, LNCS 1290