Contents:
Comparisons:
Table of Contents
Introduction
Utility functions used in this berlin version of specification.