1. A. Tarlecki. Quasi-varieties in abstract algebraic institutions. J. of Comp. and Syst. Science,(33), 1986.
2. R. Burstall and R. Diaconescu. Hiding and behaviour: an institutional approach. Tech. Rep. ECS-LFCS-92-253, Univ. of Edinburgh, 1992.
3. M. Cerioli and G. Reggio. Institutions for very abstract specifications. Submitted.
4. G. Costa and G. Reggio. Abstract dynamic data types: a temporal logic approach. In Proc. MFCS’91, number 520 in L.N.C.S. Springer Verlag, 1991.
5. J. Goguen and J. Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. T.C.S., 105(2), 1992.