SPECIAL Reference Manual.
Luke Robinson, Olivier Roubine · Defense Technical Information Center (DTIC) · 1977
This document describes the specification language SPECIAL, which is a tool developed for the design of large software systems. The language is based on a methodology using the concept of a hierarchy of modules, and provides a convenient facility for the description of the properties of such modules. The syntax of the language is described, as well as the semantic notions related to its various constructs. (Author)