1. GSBL ["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].
gsbl |