[pjmlp]

"Building High Integrity Applications with SPARK"

There is also "High Integrity Software: The SPARK Approach to Safety and Security", I never read it, but it is written by a well known author in the Ada community.

[johnisgood]

Yes, and also: https://learn.adacore.com/courses/intro-to-spark/index.html