Jackson, D. (2006). Software abstractions: Logic, language and analysis. MIT Press.
Chicagoスタイル(17版)引用形式Jackson, Daniel. Software Abstractions: Logic, Language and Analysis. Cambridge, Mass: MIT Press, 2006.
MLA(9版)引用形式Jackson, Daniel. Software Abstractions: Logic, Language and Analysis. MIT Press, 2006.
警告: この引用は必ずしも正確ではありません.