Enviar por SMS: A Textbook of Verified OCaml Programs. A deductive study on algorithms and data structures