Sources

http://www.eiffel.com/ (Eiffel Software)

http://b.cs.okstate.edu/cs3373/lectures/lecture41.html