Charatan, Q. (2004). Formal software development: From VDM to Java. New York: Palgrave Macmillan.
Chicago-tyylinen lähdeviittausCharatan, Quentin. Formal Software Development: From VDM to Java. New York: Palgrave Macmillan, 2004.
MLA-viiteCharatan, Quentin. Formal Software Development: From VDM to Java. New York: Palgrave Macmillan, 2004.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.