Towards a Semantics for Object-Z.

David J. Duke, Roger Duke

Browse the full FM paper archive.