Interactive Mathematical Documents on the Web. - Arjeh M. Cohen; Hans Cuypers; Ernesto Reinaldo Barreiro; Hans Sterk (Algebra, Geometry, and Software Systems, 2003)