Citação norma APA
Charatan, Q., & Kans, A. (2004). Formal software development: From VDM to Java. Palgrave Macmillan.
Citação norma Chicago
Charatan, Quentin, and Aaron Kans. Formal Software Development: From VDM to Java. Basingstoke: Palgrave Macmillan, 2004.
Citação norma MLA
Charatan, Quentin, and Aaron Kans. Formal Software Development: From VDM to Java. Palgrave Macmillan, 2004.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.