Y.Nakano, H.Murao, D.Morimitsu. Design and Implementation of a WEB-browser tool BrEdiMa for Mathematical Expressions. Communications of JSSAC. 2012. 1. 1. 75-91
Y.Nakano, H.Murao. BrEdiMa: Yet Another Web-browser Tool for Mathematical Expressions. Mathematical User-Interface Workshop 2006.. http://www.activemath.org/~paul/MathUI06/proceedings. 2006. (online)
H.Kobayashi, H.Suzuki, H.Murao. Rings and Modules in Isabelle/HOL. Calculemus 2003, 11th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning. 2003. 124-129