Title: Deductive program design
Subjects: Electronic data processing, Distributed processing, Congresses, Symbolic and mathematical Logic, System design, Electronic data processing, distributed processing, Logic, symbolic and mathematical