“…This was effectively the approach taken in describing early models of short-term memory (e.g., Atkinson & Shiffrin, 1968;Waugh & Norman, 1965). More formally, one might adopt mathematical methods to specify the functional decomposition of processes and their interactions, such as combinatorial logic (e.g., Hindley & Seldin, 1986), calculi for concurrent communicating systems (e.g., Milner, 1989), or formal specification languages (e.g., Spivey, 1989). Such approaches have additional benefits, beyond implementation-independent specification of theory.…”