GSBL <language> ["GSBL: An Algebraic Specification Language Based on Inheritance", S. Clerici et al in ECOOP '88, S. Gjessing et al eds, LNCS 322, Springer 1988, pp.78-92]. (2003-06-02)