Title: Logical construction of programs
Subjects: Computer programming