Monica Lara de Souza Robert de Simone Using PO Methods for Verfying Behavioural Equivalences. 75-90 1995 conf/forte/1995 FORTE db/conf/forte/forte1995.html#SouzaS95