Grabowski, A., A. Kornilowicz, and A. Naumowicz. “Mizar in a Nutshell”. Journal of Formalized Reasoning, vol. 3, no. 2, Jan. 2010, pp. 153-45, doi:10.6092/issn.1972-5787/1980.