Meyer (1992a)
Meyer B. (1992a)
Eiffel: the Language
Prentice Hall