Title: Logical construction of programs (L.C.P.)
Subjects: Computer programming