Citace podle APA (7th ed.)

Charatan, Q., & Kans, A. (2004). Formal software development: From VDM to Java. Palgrave Macmillan.

Citace podle Chicago (17th ed.)

Charatan, Quentin, a Aaron Kans. Formal Software Development: From VDM to Java. Basingstoke: Palgrave Macmillan, 2004.

Citace podle MLA (9th ed.)

Charatan, Quentin, a Aaron Kans. Formal Software Development: From VDM to Java. Palgrave Macmillan, 2004.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..