Symbolic writings and heterogeneous expression substitution operations: the conditions for understanding in elementary algebra - Moretti, Méricles Thadeu (2023)