olemus
ISO/IEC/IEEE 24765:
põhimõte, mis ütleb, et kuna iga alamklassi isend on ülemklassi isend, on alamklassi isend vastuvõetav igas kontekstis, kus ülemklassi isend on vastuvõetav
= principle stating that, since each instance of a subclass is an instance of the superclass, an instance of the subclass is acceptable in any context where an instance of the superclass is acceptable

ülevaateid
https://planetmath.org/substitutability

https://www.hbs.edu/ris/Publication%20Files/19-016_9d235843-80ce-4c8e-9938-4f0241379aab.pdf

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