Towards a formal description of ADA. - Bjorner, Dines; Oest, O.N. (Berlin : Springer Verlag, 1980)