Olga Caprotti Arjeh M. Cohen On the Role of OpenMath in Interactive Mathematical Documents. 351-364 2001 32 J. Symb. Comput. 4 db/journals/jsc/jsc32.html#CaprottiC01