Mosses. Peter D. "SIS, Semantics Implementation System: Reference manual and user guide" DAIMI MD-30 MD-30, Dept. of Computer Science, Univ. of Aarhus, 1979.
(1979)
Languages mentioned
DSL
{1975} Specification language