<bibtex> @book{terese03,
editor = {Marc Bezem, Jan Willem Klop, Roel de Vrijer}, title = {Term Rewriting Seminar -- Terese}, publisher = {Cambridge University Press}, year = {2003}
} </bibtex>
