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