Object-Oriented Programming In Eiffel

A tutorial guide to object-oriented programming techniques in Eiffel, emphasizing how its approach to programming by contract encourages the design of correct, ... » 

A tutorial guide to object-oriented programming techniques in Eiffel, emphasizing how its approach to programming by contract encourages the design of correct, reusable software components. It also explains the principles behind the use of polymorphism and dynamic binding. «