Verifying Well-Typedness Preservation of Refactorings using Scope Graphs. - Luka Miljak; Casper Bach Poulsen; Flip van Spaendonck (FTfJP@ECOOP, 2023)

Concrete Syntax Metapatterns. - Luka Miljak; Casper Bach Poulsen; Rosilde Corvino (SLE, 2024)