1. number 249 in Lecture Notes in Computer Science;E. Astesiano,1987
2. E. Astesiano and G. Reggio. Specifying Reactive Systems by Abstract Events. In Proc. of Seventh International Workshop on Software Specification and Design (IWSSD-7). IEEE Computer Society, Los Alamitos, CA, 1993.
3. Technical Report DISI-TR-94-21;E. Astesiano,1994
4. Technical Report DISI-TR-94-20;E. Astesiano,1994
5. E. Astesiano and G. Reggio. Algebraic Dynamic Specifications: An Outline. Technical Report DISI-TR-95-08, Dipartimento di Informatica e Scienze dell'Informazione — Università di Genova, Italy, 1995.