Alama, Jesse; Brink, Kasper; Mamane, Lionel; Urban, Josef (2011). "Large Formal Wikis: Issues and Solutions". In Davenport, James H.; Farmer, William M.; Urban, Josef; Rabe, Florian (eds.). Intelligent Computer Mathematics – 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Lecture Notes in Computer Science. Vol. 6824. Springer. pp. 133–148. arXiv:1107.3209. doi:10.1007/978-3-642-22673-1_10.
doi.org
Naumowicz, Adam; Kornilowicz, Artur (2009). "A Brief Overview of Mizar". In Berghofer, Stefan; Nipkow, Tobias; Urban, Christian; Wenzel, Makarius (eds.). Theorem Proving in Higher Order Logics, 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17–20, 2009. Proceedings. Lecture Notes in Computer Science. Vol. 5674. Springer. pp. 67–72. doi:10.1007/978-3-642-03359-9_5.