Santos, M., 		Freitas, J., 		Silva, G., & 		Bispo Jr., E.
2020 Nov 24.  Validation of an Algorithm Visualization Tool for Teaching Induction Proof in Graph Theory. Proceedings of the Brazilian Symposium on Computers in Education (SBIE). [Online] :