Prove di formalizzazione. I modelli della 'Nuova Ricerca Didattica'