Programming in ADA - Barnes, J. G. P. (International computer science series, 1984)