Isabelle: A Generic Theorem Prover. Number 828 (1994)

by L C Paulson, T Nipkow
Venue:in Lecture Notes in Computer Science