Eiffel
PVS
TLA
This is an old revision of the document!
Touch of Class is available with online access via Steacie Library (you need your library account for this).
A Sense of Style