APA (7th ed.) Citation

Paulson, L. C., & Nipkow, T. (1994). Isabelle: A generic theorem prover. Springer-Verlag.

Chicago Style (17th ed.) Citation

Paulson, Lawrence C., and Tobias Nipkow. Isabelle: A Generic Theorem Prover. Berlin ; New York: Springer-Verlag, 1994.

MLA (9th ed.) Citation

Paulson, Lawrence C., and Tobias Nipkow. Isabelle: A Generic Theorem Prover. Springer-Verlag, 1994.