Structuring the formal definition of Ada
Kurt W. Hansen · NASA STI Repository (National Aeronautics and Space Administration) · 1986
The structure of the formal definition of Ada are described. At present, a difficult subset of Ada has been defined and the experience gained so far by this work is reported. Currently, the work continues towards the formal definition of the Ada language.