Using Relational and Behavioural Semantics in the Verification of Object Models - Bolton, C; Davies, J (2000)