Eiffel
PVS
TLA
This is an old revision of the document!
A Guide to Eiffel Syntax
Eiffel Method and Language
Eiffel Essentials
Eiffel Language Basics
Eiffel Tutorial
A Sense of Style - Choosing suitable class/feature names and how to format your code