1. Astesiano, E., Giovini, A., Mazzanti, F., Reggio, G., Zucca, E.: The Ada Challenge for New Formal Semantic Techniques. In: Proc. of the Ada-Europe International Conference on Ada: Managing the Transition, Edimburgh, pp. 239–248. University Press, Cambridge (1986)
2. Lecture Notes in Computer Science;E. Astesiano,1997
3. Astesiano, E., Reggio, G.: Formalism and Method. T.C.S 236(1,2), 3–34 (2000)
4. Astesiano, E., Reggio, G.: Labelled Transition Logic: An Outline. Acta Informatica 37(11-12), 831–879 (2001)
5. Lecture Notes in Computer Science;E. Astesiano,2003