Enviar por SMS: Programming from Galois connection : principles and applications