Enviar por SMS: Protocols by invariants / Anneke A. Schoone.