Cristian Bernareggi. Non-sequential Mathematical Notations in the LAMBDA System. In Klaus Miesenberger, Joachim Klaus, Wolfgang L. Zagler, Arthur I. Karshmer, editors, Computers Helping People with Special Needs, 12th International Conference, ICCHP 2010, Vienna, Austria, July 14-16, 2010, Proceedings, Part II. Volume 6180 of Lecture Notes in Computer Science, pages 389-395, Springer, 2010. [doi]