Title: Implementation of term rewriting-based programming languages
First published: 2003
LC classification: QA76