Ada, an advanced introduction: Including reference manual for the Ada programming language (Prentice-Hall software series)