Cite Them Right 11th edition - Harvard

Nipkow, T., Paulson, L.C. und Wenzel, M. (2002) Isabelle, HOL : a proof assistant for higher order logic [book], Lecture notes in computer science. Berlin [u.a.]: Springer (Lecture notes in computer science, Vol. 2283).

Chicago Manual of Style 17th edition (full note)

Nipkow, Tobias, Lawrence C. Paulson, und Markus Wenzel. Isabelle, HOL : a proof assistant for higher order logic. Book. Lecture notes in computer science. Lecture notes in computer science, Vol. 2283. Berlin [u.a.]: Springer, [2002?], Berlin [u.a.]: Springer, [2002?].

American Psychological Association 7th edition

Nipkow, T., Paulson, L. C., & Wenzel, M. (ca. 2002). Isabelle, HOL : a proof assistant for higher order logic [Book]. In Lecture notes in computer science. Springer.

Modern Language Association 9th edition

Nipkow, T., L. C. Paulson, und M. Wenzel. „Isabelle, HOL : a proof assistant for higher order logic“. Lecture notes in computer science, book, Springer, 2002.

ISO-690 (author-date, Deutsch)

NIPKOW, Tobias, Lawrence C. PAULSON und Markus WENZEL, 2002. Isabelle, HOL : a proof assistant for higher order logic. Berlin [u.a.]: Springer. Lecture notes in computer science, Vol. 2283. ISBN 3540433767

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