Bibliography
Kamareddine, Fairouz, Wells, Joe, Zengler, Christoph and Barendregt, Henk P. 2014. “Computerizing Mathematical Text.” in Handbook of the History of Logic. Volume 9: Computational Logic, edited by Jörg H. Siekmann and Dov M. Gabbay, pp. 343–397. Amsterdam: Elsevier Science Publishers B.V.