Title: Deductive Program Design )
Subjects: System design, Electronic data processing, Logic, symbolic and mathematical