Title: Logical derivation of computer programs
Subjects: Computer programming, Mathematics, Problems, exercises, Computer science