Crucible Tools for Test Generation and Animation of Alloy Models. - Thomas Wilson; Stuart Matthews (ABZ, 2023)

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