MIT Prof Barbara Liskov, on Data Abstraction and Object-Oriented Programming [video]