Formal Definition of the ADA Programming Language Preliminary Version for Public Review by Institut national de recherche en informatique et en automatique (France) | Menrva Books | MenrvaBooks