Notations for software design - Feijs, L. M. G. (Loe M. G.) (Springer-Verlag, 1994)