Text this: Ada : an introduction to the art and science of programming / Walter J. Savitch, Charles G. Petersen.