Semantics Implementation System: Reference manual and user guide (1979)