Home›Books›Towards a formal description of AdaTowards a formal description of Adaby D. BjørnerNo description available.Ada (Computer program language)SemanticsProgramming languages (Electronic computers)