Experience with Isabelle: A generic theorem prover (1988)

by L Paulson
Venue:In COLOG 88. Institute of Cybernetics of the Estonian SSR