P4 Specific Refactoring Steps. - Tejfel, Máté; Lukács, Dániel; Hegyi, Péter (Acta Cybernetica, 2025)