@phdthesis{eprints397,
            year = {1985},
          author = {Rocco De Nicola},
           title = {Testing Equivalences and Fully Abstract Models for Communicating Processes},
           month = {November},
          school = {University of Edinburgh},
             url = {http://eprints.imtlucca.it/397/}
}