Sorry, we couldn’t find any results for “Book Review: The Deductive Foundations of Computer Programming. By Zohar Manna and Richard Waldinger. (Addison-Wesley, 1993. xiv+717pp. ISBN 0-201-54886-0. $46.25).”.

Double check your search request for any spelling errors or try a different search term.