Enviar por SMS: A Mathematical Theory of Global Program Optimization. /