Email Record: Elements of computation theory /