Title: Ada 2022 Reference Manual. Volume 1 - Core Language : International Standard ISO/IEC 8652