Title: Concepts, Techniques, and Models of Computer Programming
Subjects: Computer programming