Concepts, Techniques, and Models of Computer Programming

Textbook by Peter Van-Roy