Charatan, Q. (2004). Formal software development: From VDM to Java. New York: Palgrave Macmillan.
শিকাগো স্টাইলে সাইটেশনCharatan, Quentin. Formal Software Development: From VDM to Java. New York: Palgrave Macmillan, 2004.
এমএলএ সাইটেশনCharatan, Quentin. Formal Software Development: From VDM to Java. New York: Palgrave Macmillan, 2004.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.