APA (7th ed.) Citation

Fisher, M. (2011). An introduction to practical formal methods using temporal logic. Wiley. https://doi.org/10.1002/9781119991472

Chicago Style (17th ed.) Citation

Fisher, Michael. An Introduction to Practical Formal Methods Using Temporal Logic. Chichester, West Sussex, U.K. ; Hoboken, N.J.: Wiley, 2011. https://doi.org/10.1002/9781119991472.

MLA (8th ed.) Citation

Fisher, Michael. An Introduction to Practical Formal Methods Using Temporal Logic. Wiley, 2011. https://doi.org/10.1002/9781119991472.