Clemens Fischer, Heike Wehrheim: Behavioural Subtyping Relations for Object-Oriented Formalisms. AMAST 2000: 469-483