Consolidated Ada Reference Manual : Language and Standard Libraries - S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder ((Lecture Notes in Computer Science))