Wang, Cuellar, Chlipala, 2014. Compiler verification meets cross-language linking via data abstraction, in: . ACM Press.. https://doi.org/10.1145/2660193.2660201