String-Rewriting Systems by Ronald V. Book & Friedrich Otto