Charatan, Q., & Kans, A. (2004). Formal software development: From VDM to Java. Palgrave Macmillan.
Цитирование в стиле Чикаго (17-е изд.)Charatan, Quentin, и Aaron Kans. Formal Software Development: From VDM to Java. Basingstoke: Palgrave Macmillan, 2004.
Цитирование MLA (9-е изд.)Charatan, Quentin, и Aaron Kans. Formal Software Development: From VDM to Java. Palgrave Macmillan, 2004.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.