ACT ONE

A specification language.

"An Algebraic Specification Language with Two Levels of Semantics", H. Ehrig et al, Technical University of Berlin 83-03, Feb 1983.