APA Style

Boulanger, J, L. (2012). Industrial Use of Formal Methods . USA: John Wiley & Sons.

MLA Style

Boulanger, Jean, Louis. "Industrial Use of Formal Methods". USA: John Wiley & Sons, 2012. Text.