Arjeh M. Cohen, Hans Cuypers, Ernesto Reinaldo Barreiro, Hans Sterk. Interactive Mathematical Documents on the Web. In Michael Joswig, Nobuki Takayama, editors, Algebra, Geometry, and Software Systems [outcome of a Dagstuhl seminar]. pages 289-307, Springer, 2003.
Abstract is missing.