APA Style

Charatan, Q. (004). Formal software development : from VDM to Java . New York: Palgrave Macmillan.

MLA Style

Charatan, Quentin. "Formal software development : from VDM to Java". New York: Palgrave Macmillan, 004. Text.