Language engineering and rigorous software development International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 ; revised tutorial lectures / - Bove, Ana. (Springer,)