Conformance -- behavioral refinement

if B refines A then B may be used wherever A is allowed


slide: Behavioral refinement