Text this: Theory and applications of models of computation :