A Framework for the Automatic Generation of Algorithm Animations Based on Design Techniques. - Luis Fernández-Muñoz; Antonio Pérez-Carrasco; J. Ángel Velázquez-Iturbide; Jaime Urquiza-Fuentes (EC-TEL, 2007)