APA-viite (7. p.)
Charatan, Q., & Kans, A. (2004). Formal software development: From VDM to Java. Palgrave Macmillan.
Chicago-viite (17. p.)
Charatan, Quentin, ja Aaron Kans. Formal Software Development: From VDM to Java. Basingstoke: Palgrave Macmillan, 2004.
MLA-viite (9. p.)
Charatan, Quentin, ja Aaron Kans. Formal Software Development: From VDM to Java. Palgrave Macmillan, 2004.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.