Mizar from the beginning. Some oldest papers:

1973
• November 14, seminar at Institute of Scientific Information and Book Studies, Warsaw University. First lecture about Mizar given by Andrzej Trybulec (in Polish). Participants: Krzysztof Łebkowski, Janusz Korwin-Mikke, Roman Matuszewski, Zbigniew Michejda, Barbara Starosta, Krzysztof Walenta.

1974
• The grammar for the automatically generated Mizar-PC parser (Algol 1204). (Andrzej Trybulec, Roman Matuszewski).

1975
• First publication on Mizar: IX Kolloquium uber Information und Dokumentation (Andrzej Trybulec), November 12-14, Technische Hochschule Illmenau
• Mizar PC/1204 was used in teaching logic at the Warsaw Technical University in Plock

1978
• Andrzej Trybulec The Mizar-QC/6000 Logic Information Language, Volume 6, Number 2, pp.136-140, Bulletin of the Association for Literary and Linguistic Computing, Cambridge, 1978.

1980
• Andrzej Trybulec, The MIZAR logic information language, Studies in Logic, Grammar and Rhetoric, No.1, pp.127-136, 1980.

1983
• Andrzej Trybulec, Mizar, Delta Monthly, p.17, No.7(115), 1983 (the special issue of the International Congress of Mathematicians Warszawa '82).

1989
• Workshop on Computer-aided Development of Proofs, Theories, Programs, and Circuits, Madrid, 3-7 July, 1989.

2004
• Roman Matuszewski, Piotr Rudnicki, Mizar: The First 30 Years, Mechanized Mathematics and Its Applications, pp. 3-24, No.4, 2005. [bib file]