ACT ONE - An Algebraic Specification Language with two Levels of Semantics”, ADT (1983)

by H Ehrig, W Fey, H Hansen