A. Grabowski, A. Kornilowicz, and A. Naumowicz, “Mizar in a Nutshell”, JFR, vol. 3, no. 2, pp. 153–245, Jan. 2010.