Bjorner, D. and Oest, O. N. ,ed. <br/><br/>
Towards a formal description of Ada.   

 - Berlin  Springer-Verlag  1980 
 - xii, 630p. Bibl. 
 - Lecture notes in Computer Science   98 .
<br/><br/>  
<br/><br/><label>Dewey Class. No.: </label>518.5424A  / B626.TF