Transitioning to Proof. - Diane Resek; Dan Fendel (CoRR, 2015)

Leon Henkin: A Logician's View on Mathematics Education. - María Manzano; Nitsa Movshovitz-Hadar; Diane Resek (FLAP, 2017)