Software engineering 3: domains, requirements, and software design. - Springer Verlag, 2006. - ( Texts in Theoretical computer Science (EATCS series) ).