-D. Bjorner/0. N. Öst: Towards a Formal Description of Ada, Springer-Verlag 1980