Object-oriented specification in VDM++