J. A. Castaño Perea y G. Ortiz Rico, «Una coinstitución para la lógica de comportamiento abstracto», Rev. Integr. temas mat., vol. 32, n.º 2, pp. 199–210, oct. 2014.