An object-oriented introduction to computer science using Eiffel - Wiener, Richard 1941- (Prentice Hall PTR, 1996)