00354nam a2200121Ia 4500082002300000100003700023245004300060260003400103300002100137490004300158500000500201700002600206  a518.5424AbB626.TF  aBjorner, D. and Oest, O. N. ,ed.  aTowards a formal description of Ada.b  aBerlinbSpringer-Verlagc1980  axii, 630p. Bibl.  aLecture notes in Computer Sciencev 98  a  aOest, O. N. ; jt. ed.