Towards a formalization of UML class structures in Z. - Malcolm Shroff; Robert B. France (COMPSAC, 1997)