J. Recio-García, P. González-Calero, and B. Díaz-Agudo. Science of Computer Programming, 79 (0):
126 - 145(2014)Experimental Software and Toolkits (EST 4): A special issue of the Workshop on Academic Software Development Tools and Techniques (WASDeTT-3 2010).