Archetypes: Constraint-based Domain Models for Future-proof Information Systems - Beale, T
OOPSLA 2002 workshop on behavioural semantics.