Ada: Programmierungssprachen B 128.82498 /IW 

Description formal Ada.-Towards a formal 
Description of Ada. Ed. by D(ines) Bjorner 
and O(le) N(ybye) Oest. /Mit Fig./--Berlin, 
Heidelberg, New York: Springer 1980. XII, 

80

630 S. 
(~ecture-notes in computer science.98.)