Louis Cheung, Alistair Moffat, Christine Rizkallah: Formalized Burrows-Wheeler Transform. CPP 2025: 187-197