Mizar: the first 30 years, Mechanized mathematics and its applications (2005)

by R Matuszewski, P Rudnicki