Title: Elements of software science
Subjects: Computer software, Computer programs