Title: Concepts, techniques, and models of computer programming
Subjects: Computer programming