Liskov B <br/><br/>
Abstraction And Specification In Program Development Barbara Liskov And John Guttag 

 -  Cambridge Mass. : Mit Press New York : Mcgraw-Hill C1986. 
 - 469 
<br/><br/><br/>Eng 
<br/><br/><label>ISBN: </label>262121123