This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Barbara Liskov
A grouping.
Language design and what a program means: programming with abstract data types (1974), her own history of the language that idea became, and behavioural subtyping with Wing -- the substitution principle. The fourth record, on Byzantine fault tolerance in long-lived systems, is a different subject entirely. The behavioural-subtyping record is filed under 'Barbara H. Liskov', so a search on the shorter spelling misses it.
4 references
Byzantine fault tolerance in long-lived systems
Rodrigo Rodrigues and others (2004) · 2nd Bertinoro Workshop on Future Directions in Distributed Computing (FuDiCo II)
A behavioral notion of subtyping
Barbara H. Liskov and others (1994) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
A History of CLU
Barbara Liskov (1993) · MIT Laboratory for Computer Science
Programming with abstract data types
Barbara Liskov and others (1974) · Proceedings of the ACM SIGPLAN Symposium on Very High Level Languages · Association for Computing Machinery