Frank C. Belz, Edward K. Blum, Dennis Heimbigner. A multi-processing implementation-oriented formal definition of Ada in SEMANOL. In Paul W. Abrahams, editor, Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, SIGPLAN 1980, Boston, Massachusetts, USA, December 9, 1980. pages 202-212, ACM, 1980. [doi]
Abstract is missing.