From the Algebraic Specification to the Real Implementation: An Educational Environment for the Interactive Learning of Data Structures and Algorithmic Schemes. - Rafael del Vado Vírseda; Luis Jimenez Paniagua; Jose Marcos Barrio; Ruben Fuentes Iglesias (FECS, 2010)