Eiffel for beginners (S. Parker)
Short course, first lectures
Introductory lecture and examples (Hugh Gibbons)
Design by contract: assertions (Hugh Gibbons)
Sample programs
SmallEiffel Utilities
SmallEiffel Library