1. Gopal, G., Stoger, B., Palmer, B., Guo, H.: UMA: a System for Universal Mathematics Accessibility. In: ASSETS 2004, ACM Press, New York (2004)
2. Lecture Notes in Computer Science;W. Schweikhardt,2006
3. Iverson, E.: Notation as a Tool of Thought. In: SIGAPL APL Quote Quad 35, ACM Press, New York (2007)
4. Stallmann, M.F., Balik, S.P., Rodman, R.D., Bahram, S., Grace, M.C., High, S.D.: ProofChecker: an Accessible Environment for Automata Theory Correctness Proofs. In: ITiCSE 2007: 12th Annual Conference on Innovation & Technology in Computer Science Education, Inclusive Education in Computer Science, ACM Press, Dundee (2007)
5. Bernareggi, C., Dalto, G.C.: Making Automata Accessible to Visually Impaired People. In: WEIMS conference, Fukuoka (2009)