"compatible functions" . . . . . "should be substitutable" . "'''L'''iskov substitution principle" . "rule of thumb" . . "behavioural subtyping" . . "Liskov substitution principle" . "substitution" . . . . . . . . "Liskov Substitution Principle (LSP)" . "Liskov substitution principle" .