Context

Context of Abstraction and specification in program development, Barbara Liskov and John Guttag
Processing Feedback ...