Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

PAULSON, Lawrence C., 1994. Isabelle : a generic theorem prover. Berlin [u.a.]: Springer. Lecture notes in computer science, 828. ISBN 3540582444.

Elsevier - Harvard (with titles)

Paulson, L.C., 1994. Isabelle : a generic theorem prover, Lecture notes in computer science, Lecture notes in computer science. Springer, Berlin [u.a.].

American Psychological Association 7th edition

Paulson, L. C. (ca. 1994). Isabelle : a generic theorem prover [Book]. In Lecture notes in computer science. Springer.

Springer - Basic (author-date)

Paulson LC (1994) Isabelle : a generic theorem prover. Springer, Berlin [u.a.]

Juristische Zitierweise (Stüber) (Deutsch)

Paulson, Lawrence C., Isabelle : a generic theorem prover, Berlin [u.a.] 1994.

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