Borak, E. “System Komputerowy Mizar narzędziem Do Komputerowego Wspomagania Nauczania W Szkole wyższej”. Annales Universitatis Paedagogicae Cracoviensis | Studia Ad Didacticam Mathematicae Pertinentia, vol. 3, July 2017, pp. 21-40, https://didacticammath.uken.krakow.pl/article/view/3674.