APA Style

Jonathan, J, ,. (1997). The way of Z practical Programming with formal Methods . New York: Cambridge University Press,.

MLA Style

Jonathan, Jacky, ,. "The way of Z practical Programming with formal Methods". New York: Cambridge University Press,, 1997. Text.