Towards a Formal Description of Ada (Lecture Notes in Computer Science, 98)

Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO/IEC 8652/1995(E) with Technical Corrigendum 1 and Amendment 1 (Lecture Notes in Computer Science, 4348)

Ada 95 Reference Manual: Language and Standard Libraries: International Standard ISO/IEC 8652:1995 (E) (Lecture Notes in Computer Science, 1246)

Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June ... (Lecture Notes in Computer Science, 1411)

Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, Proceedings (Lecture Notes in Computer Science, 1845)

Reliable Software Technologies - Ada Europe 96: 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, ... (Lecture Notes in Computer Science, 1088)

Ada: Moving Towards 2000: 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992. Proceedings (Lecture Notes in Computer Science, 603)

Languages and Compilers for Parallel Computing: 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers (Lecture Notes in Computer Science, 2017)

Ada Software Tools Interfaces: Workshop, Bath, July 13-15, 1983. Proceedings (Lecture Notes in Computer Science, 180)