On the semantics of unified modeling language diagrams using Z notation. - Ekawit Nantajeewarawat; Ratanachai Sombatsrisomboon (Int. J. Intell. Syst., 2004)