B. Liskov

• Program development in Java
• Abstraction and specification in program development
• Clu
• CLU reference manual
• CLU reference manual
• Programmation avec des types abstraits