TY - BOOK AU - Liskov B TI - Abstraction And Specification In Program Development Barbara Liskov And John Guttag SN - 262121123 PB - Cambridge Mass. : Mit Press New York : Mcgraw-Hill C1986. ER -