Restoring Natural Language as a Computerised Mathematics Input Method. - Fairouz Kamareddine; Robert Lamar; Manuel Maarek; J. B. Wells (Calculemus/MKM, 2007)

MathLang Translation to Isabelle Syntax. - Robert Lamar; Fairouz Kamareddine; J. B. Wells (Calculemus/MKM, 2009)