F. Jaillet and X. Vidaux, “A note on Buell’s Theorem on length four Büchi sequences”, CUBO, vol. 27, no. 1, pp. 1–5, Apr. 2025.