Bookbot

Barbara Liskov

    Abstraction and Specification in Program Development