Software engineering 1: abstraction and modelling. - Springer Verlag, 2006. - ( Texts in Theoretical computer Science (EATCS series) ).