ISO/IEC 10165-4:1992/Amd 3:1998Information technology — Open Systems Interconnection — Structure of management information — Part 4: Guidelines for the definition of managed objectsAmendment 3: Guidelines for the use of Z in formalizing the behaviour of managed objects