Barbara LiskovBooksCLU reference manualAbstraction and specification in program developmentProgrammation avec des types abstraitsLa Maîtrise du développement de logicielProgram development in JavaAuthor data: Open Library