G. Goos J. Hartmanis - The Programming Language Ada Reference Manual (Lecture Notes in Computer Science)