Title: The deductive foundations of computer programming
Subjects: Computer programming, Symbolic and mathematical Logic, Logic, symbolic and mathematical, Electronic digital computers, programming