APA Citation

Jackson, D. (2012). Software abstractions: Logic, language, and analysis (Rev. ed.). Cambridge, Mass.: MIT Press.

Chicago Style Citation

Jackson, Daniel. Software Abstractions: Logic, Language, and Analysis. Rev. ed. Cambridge, Mass.: MIT Press, 2012.

MLA Citation

Jackson, Daniel. Software Abstractions: Logic, Language, and Analysis. Rev. ed. Cambridge, Mass.: MIT Press, 2012.

Warning: These citations may not always be 100% accurate.