Isabelle : a generic theorem prover - Paulson L C (Berlin Springer Verlag, 1994)
Keywords: Computer science; Generic theorem; Programming languages