(2004). Mathematical Theory of Recursive Symbol Systems. Technical Report GEN-0401