Using Relational and Behavioural Semantics in the Verification of Object Models (2000)

(untitled) - Bolton, C; Davies, J