Louis Cheung, Liam O'Connor, Christine Rizkallah: Overcoming restraint: composing verification of foreign functions with cogent. CPP 2022: 13-26