Software engineering 2: specification of systems and languages. - Springer Verlag, 2006. - ( Texts in Theoretical computer Science (EATCS series) ).