Integrating OMT and Object-Z (1997)

by S Dupuy, Y Ledru, M Chabre-Peccoud
Venue:In the proceedings of the First Workshop on Rigorous ObjectOriented Methods, Imperial College of Science Technology and Medicine