tools for the book "Concepts of Programming Languages"