APA-viite (7. p.)

Jackson, D. (2006). Software abstractions: Logic, language and analysis. MIT Press.

Chicago-viite (17. p.)

Jackson, Daniel. Software Abstractions: Logic, Language and Analysis. Cambridge, Mass: MIT Press, 2006.

MLA-viite (9. p.)

Jackson, Daniel. Software Abstractions: Logic, Language and Analysis. MIT Press, 2006.