Towards a formal description of Ada - Bjorner, D.; Oest, O.N (Lecture notes in computer science, 1980)