For people like me that didn't know: CTM stands for Concepts, Techniques, and Models of Computer Programming.

More info here: https://www.info.ucl.ac.be/~pvr/book.html

Seems like a very interesting read!