http://en.wikipedia.org/wiki/Liskov_substitution_principle

Насколько я понял принцип гласит, что если в программе заменить базовые классы классами наследниками, то ничего не должно сломаться. По-мойму бред. Или я что-то неправильно понял.