An Outline of PC Mizar. Brussels: Fondation Philippe le Hodey. http://www.cs.kun.nl/~freek/mizar/mizarmanual.ps.gz (1993)

by M Muzalewski