Isabelle: A Generic Theorem Prover. (1994)

by L C Paulson
Venue:Verlag LNCS 828,