Brian A. WichmannBooksADAADA. Lengoaia eta metodologiaPascal compiler validationTutorial material on the real data-types in ADASoftware in safety-related systemsA note on the use of variables in ALGOL 60ALGOL 60 compilation and assessmentAuthor data: Open Library
