Artificial intelligence publications January 1, 1993 BookDeductive Foundations of Computer Programming SRI International January 1, 1993 Citation Copy to clipboard Manna, Z., and Waldinger, R. Deductive Foundations of Computer ProgrammingAddison-Wesley, 1993. Share this