GSBL

"GSBL: An Algebraic Specification Language Based on Inheritance", S. Clerici et al in ECOOP '88, European Conference on Object-Oriented Programming, S. Gjessing et al eds, Lecture Notes in Computer Science 322, Springer-Verlag, 1988, pp.78-92.