Contributions of Ronald V. Book to the Theory of String-Rewriting Systems