Sobre una formalización algebraica en teoría de grafos - Lizcano, Emmanuel (Boletín del Centro de Cálculo de la Universidad Complutense, 2015)