, "Mathematical Theory of Recursive Symbol Systems. Technical Report GEN-0401.", , 2004