Introduction to computer science - Bartee, Thomas