Title: Foundations of Software Science and Computation Structures
Subjects: Computer science, Software engineering, Logic