Eiffel
PVS
TLA
This is an old revision of the document!
Code Examples
Working with IO in Eiffel
Reading from a file
Random Numbers
Eiffel Solutions, Technologies, and Class Libraries