Eiffel libraries, example programs and development utilities