Title: Computer Programming and Formal Systems
Subjects: Computer science, mathematics