Data Abstraction, Distributed Systems – Barbara Liskov (Turing Award Winner) [video]