Jackson, D. (2006). Software abstractions: Logic, language, and analysis. PHI learning.
Chicago Edition CitationJackson, Daniel. Software Abstractions: Logic, Language, and Analysis. New Delhi: PHI learning, 2006.
MLA Edition CitationJackson, Daniel. Software Abstractions: Logic, Language, and Analysis. PHI learning, 2006.
Warning: These citations may not always be 100% accurate.