Horpácsi Dániel; Kőszegi Judit; Németh Dávid J.: Towards a generic framework for trustworthy program refactoring. In: Acta cybernetica, (25) 4. pp. 753-779. (2022)