Больше цитат
Принцип подстановки Барбары... «Чистая архитектура. Искусство разработки программного обеспечения»
Принцип подстановки Барбары Лисков гласит: если для каждого объекта o1 типа S существует такой подтип o2 типа T, что для всех программ P, определённых в терминах T, поведение P не изменяется при подстановке o1 вместо o2, то S является подтипом T.