Liskov, B.; Wing, J.M. (1993): Family Values – A Behavioral Notion of Subtyping