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