ACT ONE: an algebraic specification language with two levels of semantics (1983)

by H Ehrig, W Fey, H Hansen