D. Horpácsi, J. Kőszegi, and D. J. Németh, “Towards a Generic Framework for Trustworthy Program Refactoring”, Acta Cybern, vol. 25, no. 4, pp. 753-779, Mar. 2021.