From The Free On-line Dictionary of Computing (19 January 2023): ACT ONE <language, specification> 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)
ACT ONE
<language, specification> 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)