1. M. Aiguier and G. Bernot. Information Systems-Correctness and Reusability, chapter Algebraic semantics of object type specifications, pages 16–32. World Scientific, 1995. Selected Papers from the IS-CORE Workshop.
2. E. Astesiano and E. Zucca. D-oids: A model for dynamic data types. Mathematical Structure in Computer Science, 1994. Special Issue.
3. S. Béroff. Présentation d’un formalisme de spécification dynamique et temps réel; application à la sémantique du langage VHDL. PhD thesis, University of Evry, january 1999.
4. M. Bidoit. The stratified loose approach a generalization of initial and loose semantics. In Recent Trends in Data Type Specification, volume 332 of LNCS, pages 1–22. Springer-Verlag, 1988.
5. M. Bidoit, D. Sannella, and A. Tarlecki. Architectural specification in CASL. In AMAST’98, Amazonia-Manaus, volume to appear. Springer, LNCS, 1999.