Barbara Liskov's Formulation - What Is Lsp | OneNoughtOne