APA (7th ed.) Citation

Monin, J. F., & Hinchey, M. G. (2003). Understanding formal methods. Springer.

Chicago Style (17th ed.) Citation

Monin, Jean François, and Michael G. Hinchey. Understanding Formal Methods. London ; New York: Springer, 2003.

MLA (9th ed.) Citation

Monin, Jean François, and Michael G. Hinchey. Understanding Formal Methods. Springer, 2003.