Monads and modular term rewriting (1997)

by C Luth, N Ghani
Venue:In Category Theory in Computer Science CTCS'97, number 1290 in Lecture Notes in Computer Science