У статті автор розбирає принцип Лісков на практичних прикладах, як працювати з базовими та спадковими класами, щоб уникнути помилок.

А також пояснює передумови, постумови, інваріанти і «правило історії» через концепцію «Design by Contract».