Ana Bove Luís Soares Barbosa Alberto Pardo Jorge Sousa Pinto Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures 5520 2009 http://dx.doi.org/10.1007/978-3-642-03153-3 978-3-642-03152-6 LerNet ALFA Summer School Lecture Notes in Computer Science Springer db/conf/lernet/lernet2008.html