Envoyer par SMS: A text-book of logic,