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