Gaya APA

Johnsen, E, B., Petre, L. (2013). Integrated Formal Methods . Springer Berlin Heidelberg: Springer.

Gaya MLA

Johnsen, Einar, Broch., Petre, Luigia. "Integrated Formal Methods". Springer Berlin Heidelberg: Springer, 2013. E-Book.