note for later, we should use EIS (http://docs.eiffel.com/book/eiffelstudio/eiffel-information-system) to embed documentation references