Towards a formal Description of Ada Ed. by Dines Bjørner and O. N. Oest - Bjørner, Dines; Oest, O. N. (Lecture notes in computer science, 1980)