B 128.82498 ItJ 

Description formal Ada.-Towards a formal 
Description of Ada. Ed. by D(ines) Bjprnerand O(le) N(ybye) Oest. [Mit Fig.l-Berlin, 
Heidelbeög, New York: Springer 1980. XII, 
630 S. 8 . 
(1ecture-notes in computer science. 98.)