Current trends in programming methodology. - Liskov, Barbara (rz1, 1977)