# Matuszewski, R., Mizar-MSE (CMS), Mode d'emploi, Centre de Calcul UCL, Louvain-la-Neuve, 1984.
# Trybulec, A., On a System of Computer-Aided Instruction of Logic, Bulletin of the Section of Logic PAS, Vol.12, No 4, Warsaw-Lodz, 1984.
# Mostowski, M., Trybulec, Z., A Certain Experimental Computer Aided Course of Logic in Poland, Proceedings of World Conference on Computer in Education, IFIP/AFIPS, Norfolk, North Holland, 1985.
# Matuszewski, R., Mizar-MSE, Enseignement des Fondements de la Mathematique Appuye par Ordinateurs, Symposium International IFIP/ICOMIDC, Monastir, 1986.


http://www.calculemus.org/MathUniversalis/3/index.html

http://www.calculemus.org/MathUniversalis/3/Introd.html

http://www.yac.com.pl/download.ymk.po.cen.html
http://yac.com.pl/mt.mizar.eddie.en.html

https://www.it-meter.com/mizar_uml/null/study/vingtetuncruise/

http://www.cs.ru.nl/~freek/courses/pa-2006/index.html
------------------------------------------??------------------
http://www.cs.ualberta.ca/~piotr/Mizar-MSE/

http://www.cs.ualberta.ca/~hoover/dimacs-teaching-logic/paper.html

http://hopl.murdoch.edu.au/showlanguage.prx?exp=7824&language=Mizar%20MSE

http://www.fnds.cs.ru.nl/typesworkshop/slides/zalewska.pdf

http://the-eternal.hp.infoseek.co.jp/study/index.html