Παραπομπή σε μορφή APA (7η εκδ.)

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

Παραπομπή σε μορφή Chicago (17η εκδ.)

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 εκδ.)

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