Reliable Software Technologies - Ada-Europe '97: 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, ... (Lecture Notes in Computer Science, 1251)

Ada 95: The Craft of Object-Oriented Programming

A Review of Ada Tasking (Lecture Notes in Computer Science, 262)

Programming in Ada 95

Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX (4th Edition) (International Computer Science Series)

SPARK 2014 Reference Manual: Release 19.0w

Ada: An Advanced Introduction/Book and Disk (Prentice-hall Software Series)

Ada 95: The Lovelace Tutorial

Comparing and Assessing Programming Languages: Ada, C and Pascal

Software Construction and Data Structures with Ada 95 (2nd Edition)