SMS versenden: Theory and applications of models of computation :