Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997
(1997)
Languages mentioned
ABEL {1979} OO Language with specification semantics
ACT ONE {1983} An Algebraic Specification Language