SDL formal object-oriented language for communicating systems - Ellsberger, Jan (Prentice Hall, 1997)