Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems. - Gwenyth Lincroft; Minsung Cho; Katherine Hough; Mahsa Bazzaz; Jonathan Bell 001 (MSR, 2024)