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