1. G. Bernot and M. Bidoit. Proving the correctness of algebraically specified software: Modularity and observability issues. In Proceedings of Second International Conference on Algebraic Methodology and Software Technology, pages 139–161, Iowa City, May 1991.
2. G. Bernot, M. Bidoit, and T. Knapik. Observational approaches and indistinguishability assumption. Technical Report LIENS-92-3, Laboratoire d'Informatique de l'Ecole Normale Supérieure, 1992.
3. G. Bernot, M. Bidoit, and T. Knapik. Towards an adequate notion of observation. In B. Krieg-Brückner, editor, European Syposium on Programming, LNCS 582, pages 39–55, Rennes, Feb. 1992.
4. M. Bidoit. The stratified loose approach: A generalization of initial and loose semantics. In D. Sannella and A. Tarlecki, editors, Recent Trends in Data Type Specification, LNCS 332, pages 1–22, Gullane, Sept. 1987. Selected papers from 5th Workshop on Specification of Abstract Data Types.
5. H. Ehrig, M. Baldamus, and F. Orejas. New concepts for amalgamation and extension in the framework of specification logics. Technical Report 91/05, Technische Universität Berlin, May 1991.