Ronald V. BookRonald Vernon Book was a theoretical [computer science|theoretical computer scientist]. He published more than 150 papers in scientific journals.His papers are of great impact for computational [complexity theory] and term rewriting.