Ada for experienced programmers - Habermann, Nico A. (Addison Wesley, 1983)