Distinguishing pattern languages with membership examples. - Ziyuan Gao; Zeinab Mazadi; Regan Meloche; Hans Ulrich Simon; Sandra Zilles (Inf. Comput., 2017)

Engineering Smart Contracts with Symboleo: A Progress Report. - Daniel Amyot; Luigi Logrippo; John Mylopoulos; Marco Roveri; Amal Ahmed Anda; Alireza Parvizimosaed; Sofana Alfuhaid; Sepehr Sharifi; Aidin Rasti; Regan Meloche; Daniel Sousa-Diaz (CASCON, 2023)

Towards Legal Contract Formalization with Controlled Natural Language Templates. - Regan Meloche; Daniel Amyot; John Mylopoulos (RE, 2023)

SymboleoNLP: A Tool for Generating Formal Specifications from Legal Contract Templates. - Regan Meloche; Daniel Amyot; John Mylopoulos (RE, 2024)