Silvia Clerici Fernando Orejas The Specification Language GSBL. 31-51 1990 conf/adt/1990 ADT db/conf/adt/adt1990.html#ClericiO90