Pascal: an introduction to the art and science of programming (3rd ed.)