Rodríguez Villagra, O. Formal Cognitive Models: A Tool for the Knowledge Integration of Cognitive Psychology and Cognitive Neuroscience. AP 2014, 28, 79-91.