Richard G. Hamlet
Communications of the ACM
An efficient separate compilation strategy for very large programs