Pascal: An Introduction to the Art and Science of Programming (4th Edition)