1. E. Astesiano, F. Morando, and G. Reggio. The SMoLCS Toolset. In P.D. Mosses, M. Nielsen, and M.I. Schwartzbach, editors, Proc. of TAPSOFT '95, number 915 in L.N.C.S., pages 810–811. Springer Verlag, Berlin, 1995.
2. E. Astesiano and G. Reggio. Formally-Driven Friendly Specifications of Concurrent Systems: A Two-Rail Approach. Technical Report DISI-TR-94-20, DISI-Universith di Genova, Italy, 1994. Presented at ICSE'17-Workshop on Formal Methods, Seattle April 1995.
3. E. Astesiano and G. Reggio. A Dynamic Specification of the RPC-Memory Problem. In M. Broy, S. Merz, and K. Spies, editors, Formal System Specification: The RPC-Memory Specification Case Study, number 1169 in L.N.C.S., pages 67–108. Springer Verlag, Berlin, 1996.
4. Technical Report DISI-TR-96-20;E. Astesiano,1996
5. E. Astesiano and G. Reggio. Formalism and Method. In M. Bidoit and M. Dauchet, editors, Proc. TAPSOFT '97, number 1214 in L.N.C.S., pages 93–114, Berlin, 1997. Springer Verlag.