A fragment calculus-towards a model of separate compilation, linking and binary compatibility | IEEE Conference Publication | IEEE Xplore