Grabowski, A.; Kornilowicz, A.; Naumowicz, A. Mizar in a Nutshell. JFR 2010, 3, 153-245.