Programming in ADA - Barnes, J. G. P. 1937- (Addison-Wesley, 1984)