Enviar por SMS: Formal methods in human-computer interaction / Philippe Palanque and Fabio Paternò, eds.