N. Baron Perez, R. Santaolaya Salgado, B. D. Valenzuela Robles, J. C. Rojas Pérez, O. Fragoso Diaz, and J. G. González Serna, “Ordered sequencing of Refactorings based on Preconditions and Postconditions”, Int. Journal of COP and Infor., vol. 17, no. 1, pp. 286–298, Jan. 2026.