Borak, E. System Komputerowy Mizar narzędziem Do Komputerowego Wspomagania Nauczania W Szkole wyższej. AUPC 2017, 3, 21-40.