Ada Programming Introduction This is a reasonable introduction to many of Ada's features. SPARK is based on Ada 2012 and includes contracts which is not covered here.

In fact, anyone who has some or even no programming experience can learn Ada, as the very premise of Ada is that it removes complexity and ambiguity from programming.