Adding an Abstraction Barrier to ZF Set Theory. - Ciarán Dunne; J. B. Wells; Fairouz Kamareddine (CICM, 2020)

Generating Custom Set Theories with Non-set Structured Objects. - Ciarán Dunne; J. B. Wells; Fairouz Kamareddine (CICM, 2021)

Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories. - Ciarán Dunne; J. B. Wells (CICM, 2022)