Barbara Liskov Alan Snyder Russell R. Atkinson Craig Schaffert Abstraction Mechanisms in CLU. 564-576 1977 20 Commun. ACM 8 db/journals/cacm/cacm20.html#LiskovSAS77