David J. Duke Roger Duke Towards a Semantics for Object-Z. 244-261 1990 conf/fm/1990 VDM Europe db/conf/fm/vdme1990.html#DukeD90 https://doi.org/10.1007/3-540-52513-0_14