Using specialized procedures and specificationbased analysis to reduce the runtime costs of modularity (1994)

by M T Vandevoorde, J V Guttag
Venue:In ACM SIGSOFT '94 Symposium on the Foundations of Software Engineering