Logical basis for computer programming v 1 - Deductive reasoning - Manna Zohar; Waldinger Richard (Reading Addison Wesley, 1985)
Keywords: Computer programming; Deductive reasoning