Programming in Ada 2012 with a Preview of Ada 2022 - Barnes (Cambridge University Press, 2022)