Language Engineering and Rigorous Software Development : International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers - Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto ((Lecture Notes in Computer Science))