Source : Free On-Line Dictionary of Computing

ACT ONE
     
         A specification language.
     
        ["An Algebraic Specification Language with Two Levels of
        Semantics", H. Ehrig et al, Tech U Berlin 83-1983-02-03].
     
        (1994-11-08)