Programming in ADA - JGP Barnes (Addison-Wesley Publishing, 1989)