Semantic primitives for object-oriented programming languages. - Anthony Neil Clark (1996)