Jackson, D. (2006). Software abstractions: Logic, language and analysis. MIT Press.
Citazione stile Chigago Style (17a edizione)Jackson, Daniel. Software Abstractions: Logic, Language and Analysis. Cambridge, Mass: MIT Press, 2006.
Citatione MLA (9a ed.)Jackson, Daniel. Software Abstractions: Logic, Language and Analysis. MIT Press, 2006.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.