Zohar Manna, Richard J. Waldinger. The deductive foundations of computer programming - a one-volume version of The logical basis for computer programming . Addison-Wesley, 1993.
@book{0072438,
title = {The deductive foundations of computer programming - a one-volume version of The logical basis for computer programming },
author = {Zohar Manna and Richard J. Waldinger},
year = {1993},
tags = {programming},
researchr = {https://researchr.org/publication/0072438},
cites = {0},
citedby = {0},
publisher = {Addison-Wesley},
isbn = {978-0-201-54886-0},
}