Co-Developing Programs and Their Proof of Correctness. - Chapman, Roderick; Dross, Claire; Matthews, Stuart; Moy, Yannick (Communications of the ACM, 2024)