Fixed following problems.

1. We need to add  "(VDM++ and VDM-RT)" to the Object Pattern section title.

2. The syntax of object patterns (EBNFs that define object pattern, field pattern list and field pattern) should be moved from Section 7 to Section 7.1 because 'obj_', identifier is referenced in the semantics part of Section 7.1.

3. All occurrences of "class identifier" in the section 7.1 need to print "identifier" in \tt font to mean they refer to the syntax definition.

4. The lack of ')' in the subsection of "The Object Reference Type (VDM++ and VDM-RT"