1. [Bjo 80] Bjorner, D. and Oest, O. N. (eds.), "Towards a Formal Description of Ada",Lecture Notes in Computer Science, Vol. 98, Springer-Verlag, 630 p., 1980
2. [Bro 80] Brosgol, B. M., "TCOLAdaand the Middle End of the PQCC Ada Compiler",Proceedings of the ACM-SIGPLAN Symposium on the Ada Programming Language.SIGPLAN Notices, 15:11, pp. 101--112, Nov. 1980
3. [Dau 80] Dausmann, M., Drossopoulou, G., Goos, G., Persch G., and Winterstein, G., "AIDA - An Informal Introduction", Institut fuer Informatic II, University of Karlsruhe, Germany, Feb. 1980
4. [DoD 80] U.S Department of Defense,Reference Manual for the Ada Programming Language, Proposed Standard Document, July 1980
5. [Goo 81] Goos, G., and Wulf, W.A. (eds.), "DIANA Reference Manual", Institut fuer Informatic II, University of Karlsruhe, and Computer Science Department, Carnegie-Mellon University, Mar. 1981