Modeling interactivity for mathematics learning by demonstration - Mora MA; Moriyón R; Saiz F (Mathematical Knowledge Management. Mkm 2004, 2004)