Roel Pieper | Roel van Duijn | Roel Reiné' | Roel Reiné |
Marc Bezem, Jan Willem Klop, Roel de Vrijer ("Terese"), Term rewriting systems, Cambridge University Press, 2003, ISBN 0-521-39115-6, Chapter 1.