Manna, Z. (1980). Lectures on the logic of computer programming. Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104). https://doi.org/10.1137/1.9781611970388
Chicago-Zitierstil (17. Ausg.)Manna, Zohar. Lectures on the Logic of Computer Programming. Philadelphia, Pa: Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104), 1980. https://doi.org/10.1137/1.9781611970388.
MLA-Zitierstil (9. Ausg.)Manna, Zohar. Lectures on the Logic of Computer Programming. Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104), 1980. https://doi.org/10.1137/1.9781611970388.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.