1. Bosco, P.G., Giovannetti, E., Moiso, C. Refined Strategies for Semantic Unification, Proc. TAPSOFT '87, LNCS 250, Vol.2, Springer-Verlag, (1987), pp.276–290.
2. Bolognesi, T., Smolka, S. A. Fundamental Results for the Verification of Observational Equivalence: A Survey, Proc. IFIP TC6/WG 6.1, Zurich, North Holland, (May 1987).
3. De Nicola, R. Testing Equivalences and Fully Abstract Models for Communicating Processes, Ph.D. Thesis, University of Edinburgh, Internal Report CST-36-85, (1985).
4. Fantechi, A., Gnesi, S., Inverardi, P., Montanari, U. An execution environment for the formal definition of Ada, Proc. ESEC '87, LNCS 289, (September 1987), pp.327–335.
5. Gnesi, S., Inverardi, P., Nesi, M. “A logic-functional approach to the execution of CCS specifications modulo behavioural equivalences”, Internal Report IEI no B4-08, (1988).