ISO-690 (author-date, English)

FISHER, Michael, 2011. An introduction to practical formal methods using temporal logic. Chichester, West Sussex, U.K.: J. Wiley & Sons. ISBN 9780470027882.

Elsevier - Harvard (with titles)

Fisher, M., 2011. An introduction to practical formal methods using temporal logic, Safari Tech Books Online. J. Wiley & Sons, Chichester, West Sussex, U.K.

American Psychological Association 7th edition

Fisher, M. (ca. 2011). An introduction to practical formal methods using temporal logic [Cd]. In Safari Tech Books Online. J. Wiley & Sons.

Springer - Basic (author-date)

Fisher M (2011) An introduction to practical formal methods using temporal logic. J. Wiley & Sons, Chichester, West Sussex, U.K

Juristische Zitierweise (Stüber) (Deutsch)

Fisher, Michael, An introduction to practical formal methods using temporal logic, Chichester, West Sussex, U.K. 2011.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.