Soon-Kyeong Kim David A. Carrington A Formal Mapping between UML Models and Object-Z Specifications. 2-21 2000 conf/zum/2000 ZB http://link.springer.de/link/service/series/0558/bibs/1878/18780002.htm db/conf/zum/zb2000.html#KimC00