Rocco De Nicola Paola Inverardi Monica Nesi Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. 54-67 1989 conf/avmfss/1989 Automatic Verification Methods for Finite State Systems db/conf/avmfss/avmfss1989.html#NicolaIN89 http://dx.doi.org/10.1007/3-540-52148-8_5