Specifications

Part I: Introduction