Towards a formal description of ADA - Bjorner, Dines (Springer Verlag, 1980)