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