Formally Verified Suffix Array Construction. - Louis Cheung; Alistair Moffat; Christine Rizkallah (J. Autom. Reason., 1992)

Overcoming Restraint: Modular Refinement using Cogent's Principled Foreign Function Interface. - Louis Cheung; Liam O'Connor; Christine Rizkallah (CoRR, 2021)

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

Formally Verified Suffix Array Construction. - Louis Cheung; Christine Rizkallah (Arch. Formal Proofs, 2024)

Formalized Burrows-Wheeler Transform. - Louis Cheung; Alistair Moffat; Christine Rizkallah (CPP, 2025)

Formalised Burrows-Wheeler Transform. - Louis Cheung; Christine Rizkallah (Arch. Formal Proofs, 2025)