Isabelle/HOL - A proof assistant for higherorder logic (2002)

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