The Eiffel for .NET Language
Introduction
Eiffel Classes
Adding Class Features
Inheritance
Genericity
Design by Contract
Exception Mechanism
Event Programming with Agents
Using Referenced Assemblies