Castaño Perea, J.A. y Ortiz Rico, G. 2014. Una coinstitución para la lógica de comportamiento abstracto. Revista Integración, temas de matemáticas. 32, 2 (oct. 2014), 199–210.