Charatan, Q. (2004). Formal software development: From VDM to Java. New York: Palgrave Macmillan.
シカゴスタイル引用形Charatan, Quentin. Formal Software Development: From VDM to Java. New York: Palgrave Macmillan, 2004.
MLA引用形式Charatan, Quentin. Formal Software Development: From VDM to Java. New York: Palgrave Macmillan, 2004.
警告: この引用は必ずしも正確ではありません.