MathLang: experience-driven development of a . . . (2003)

by Fairouz Kamareddine, Manuel Maarek, Joe Wells