Towards a formal description of ADA - Bjorner, Dines; Oest, O.N (Lecture Notes in Computer Science ;, 1980)