Isabelle: The next 700 theorem provers (1990)

by L C Paulson
Venue:Logic and Computer Science