High-level binding with low-level linkers
Communications of the ACM
An efficient separate compilation strategy for very large programs