Email Record: Theory and applications of models of computation :