Behaviour in object-based systems: a formal approach - Steven Edward Butler (1998)