Ada for experienced programmers - Habermann, Arie Nico 1932-; Perry, Dewayne E. (Addison-Wesley series in computer science, 1983)