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