Formal Aspects of Cognitive Processes