eiffel-org - Revision 2482: /trunk/documentation/22.05/eiffel/Technical_papers/books-about-eiffel-method-and-language