Conformance
if B refines A then B may be used wherever A is allowed
Behavioral Refinement
slide
:
Behavioral refinement