Daniel Engel, Freek Verbeek, Binoy Ravindran: BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of X86-64 Binaries. TAP 2023: 3-20