menu_bookpdfAdaAda Reference Manual - ISO/IEC 8652:2012(E) Language and Standard LibrariesEnglishRead