Αποστολή με SMS: Derecho y lógica formal.