CONTENTS

1)     Table of contents
2)     Subclause 2.1
3)     New subclause 2.3
4)     New Annex B
Annex  B  –  Guidelines for the use of Z in formalizing the behaviour of Managed Objects