Isabelle: A Generic Theorem Prover, ser (1994)

by L C Paulson
Venue:Lecture Notes in Computer Science