Writing a Mizar article in nine easy steps. 〈http://www.cs.ru. nl/~freek/mizar/mizman.ps.gz (2007)

by F Wiedijk