ACT ONE, an algebraic specification language with two levels of semantics - Ehrig, Hartmut 1944-2016 (1983)