Improved ADT Clause.
Using range for-loops for occurrence-lists.
Editorial updates.
Improved handling of occurrence-lists.
Editorial improvement.
Introduced ADT for change management.