Text this: An object-oriented introduction to computer science using eiffel