Semantics Implementation System, Reference Manual and User Guide (1979)