Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle: A compositional proof framework for FRETish requirements. CPP 2022: 68-81