GSBL

"GSBL: An Algebraic Specification Language Based on

Inheritance", S. Clerici et al in in ECOOP '88, S. Gjessing

et al eds, LNCS 322, Springer 1988, pp.78-92.