1. M. Bidoit and R. Hennicker. Proving behavioural theorems with standard first-order logic. Proc. 4th Intl. Conf. on Algebraic and Logic Programming, Madrid. Springer LNCS 850 (1994).
2. M. Bidoit and R. Hennicker. Behavioural theories. Selected Papers from the 10th Workshop on Specification of Abstract Data Types, Santa Margherita Ligure. Springer LNCS, to appear (1995).
3. M. Bidoit, R. Hennicker and M. Wirsing. Behavioural and abstractor specifications. Report LIENS-94-10, Ecole Normale Supérieure (1994). To appear in Science of Computer Programming. A short version appeared as: Characterizing behavioural semantics and abstractor semantics. Proc. 5th European Symp. on Programming, Edinburgh. Springer LNCS 788, 105–119 (1994).
4. J. Farrés-Casals. Verification in ASL and Related Specification Languages. Ph.D. thesis, Report CSR-92-92, Univ. of Edinburgh (1992).
5. J. Goguen and J. Meseguer. Universal realization, persistent interconnection and implementation of abstract modules. Proc. 9th Intl. Colloq. on Automata, Languages and Programming, Aarhus. Springer LNCS 140, 265–281 (1982).