Isabelle: A generic theorem prover, volume 828 (1994)

by L C Paulson