Ordered sequencing of Refactorings based on Preconditions and Postconditions. - Nelida Baron Perez; René Santaolaya Salgado; Blanca Dina Valenzuela Robles; Juan Carlos Rojas-Pérez; Olivia Graciela Fragoso Diaz; Juan Gabriel González Serna (Int. J. Comb. Optim. Probl. Informatics, 2026)