Peter A. Belmont. Type resolution in Ada: an implementation report. 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 57-61, ACM, 1980. [doi]
Abstract is missing.