Borak, E. 2017. System komputerowy Mizar narzędziem do komputerowego wspomagania nauczania w szkole wyższej. Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia. 3, (Jul. 2017), 21–40.