%0 Journal Article %F LSAS77 %A Liskov, Barbara %A Snyder, Alan %A Atkinson, Russell %A Schaffert, Craig %T Abstraction mechanisms in CLU %J Communications of the ACM %V 20 %N 8 %D 1977 %U http://www.cs.berkeley.edu/~jcondit/pl-prelim/liskov77clu.pdf