Ada for Software Engineers (Second Edition) - View it on GitHub