Ada an advanced introduction - Gehani, Narain (Prentice-Hall, 1983)