リスコフの置換原則
リスコフの置換原則は Liskov 1988 において以下のように説明されている:
より形式的な定義は Liskov & Wing 1994 で与えられており、以下のように要約されている:
ここで性質 φ はオブジェクトの振る舞いを表す述語である。「振る舞い」はオブジェクトの操作(メソッド)が満たすべき事前条件と事後条件によって特徴付けられる。