Ekawit Nantajeewarawat Ratanachai Sombatsrisomboon On the semantics of unified modeling language diagrams using Z notation. 79-88 2004 19 Int. J. Intell. Syst. 1-2 http://dx.doi.org/10.1002/int.10152 db/journals/ijis/ijis19.html#NantajeewarawatS04