Cita APA (7th ed.)
Charatan, Q., & Kans, A. (2004). Formal software development: From VDM to Java. Palgrave Macmillan.
Cita Chicago (17th ed.)
Charatan, Quentin, i Aaron Kans. Formal Software Development: From VDM to Java. Basingstoke: Palgrave Macmillan, 2004.
Cita MLA (9th ed.)
Charatan, Quentin, i Aaron Kans. Formal Software Development: From VDM to Java. Palgrave Macmillan, 2004.
Atenció: Aquestes cites poden no estar 100% correctes.