Envoyer par SMS: The Logical Basis for Computer Programming :