Title: A practical theory of programming
Subjects: Computer programming