Charatan, Q., & Kans, A. (2004). Formal software development: From VDM to Java. Palgrave Macmillan.
芝加哥风格引文Charatan, Quentin, 与 Aaron Kans. Formal Software Development: From VDM to Java. Basingstoke: Palgrave Macmillan, 2004.
MLA引文Charatan, Quentin, 与 Aaron Kans. Formal Software Development: From VDM to Java. Palgrave Macmillan, 2004.
警告：这些引文格式不一定是100％准确.