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