1 - Abstraction and specification in program developmentLiskov, Barbara / Guttag, JohnCote : [77 LIS 86]