Horpácsi, Dániel, Judit Kőszegi, and Dávid J. Németh. “Towards a Generic Framework for Trustworthy Program Refactoring”. Acta Cybernetica 25, no. 4 (March 18, 2021): 753-779. Accessed April 19, 2024. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4121.