Using PO Methods for Verfying Behavioural Equivalences. - Monica Lara de Souza; Robert de Simone (FORTE, 1995)