Tahina Ramananandro, Zhong Shao, Shu-Chun Weng, Jérémie Koenig, Yuchen Fu: A Compositional Semantics for Verified Separate Compilation and Linking. CPP 2015: 3-14