Isabelle: A Generic Theorem Prover (1994)

by L C Paulson
Venue:Verlag LNCS 828