Here is a basic paper on Object-Z.