The Annotated Bibliography is a collection of curated links to research literature on AV topics.

Velázquez-Iturbide JÁ, Pareja-Flores C, Urquiza-Fuentes J. An approach to effortless construction of program animations. Computers & Education. 2008;50:179-92.
Pareja-Flores C, Urquiza-Fuentes J, Velázquez-Iturbide JÁ. WinHIPE: an IDE for functional programming based on rewriting and visualization. ACM SIGPLAN Notices. 2007;42:14-23.
Martínez-Unanue R, Paredes-Velasco M, Pareja-Flores C, Urquiza-Fuentes J, Velázquez-Iturbide JÁ. Electronic Books for Programming Education: A Review and Future Prospects. In: Proceedings of the 7th annual conference on Innovation and technology in computer science education. ACM Press; 2002. p. 34-8.
Naharro-Berrocal F, Pareja-Flores C, Urquiza-Fuentes J, Velázquez-Iturbide JÁ, Gortázar-Bellas F. Redesigning the Animation Capabilities of a Functional Programming Environment under an Educational Framework. In: Second International Program Visualization Workshop. HornstrupCentret, Denmark; 2002.
Naharro-Berrocal F, Pareja-Flores C, Velázquez-Iturbide JÁ. Foundations for the Automatic Construction of Animations and their Application to Functional Programs. In: First International Program Visualization Workshop. Porvoo, Finland: University of Joensuu Press; 2001. p. 29-40.
Naharro-Berrocal F, Pareja-Flores C, Velázquez-Iturbide JÁ, Martínez-Santamarta M. Automatic Web Publishing of Algorithm Animation. Informatik / Informatique, Special Issue on Visualization of Software. 2001:41-5.
Naharro-Berrocal F, Pareja-Flores C, Velázquez-Iturbide JÁ. Automatic Generation of Algorithm Animations in a Programming Environment. In: Proceedings of the 30th ASEE/IEEE Frontiers in Education Conference. Kansas City, Missouri; 2000. S2C p. 6-12.