Assia Mahboubi Magnus O. Myreen Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019 ACM CPP 2019 978-1-4503-6222-1 https://dl.acm.org/citation.cfm?id=3293880 db/conf/cpp/cpp2019.html