Oostrom, Femke van Raamsdonk, Fer-Jan de Vries, and Hans Zantema. Term Rewriting Systems (2003)

by Marc Bezem, Jan Willem Klop, Roel de Vrijer, Erik Barendsen, Inge Bethke, Jan Heering, Richard Kennaway, Paul Klint, Vincent van