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