Programming in Ada : plus an overview of Ada 9X - Barnes, J. G. P. (International computer science series, 1994)