Envoyer par SMS: The Deductive Foundations of Computer Programming :