Programming in Ada 2022 - Barnes, J. G. P. 1937- (Cambridge University Press, 2024)