J.G.P. Barnes - Programming in Ada: Plus an Overview of Ada 9X (International computer science series)