Invia SMS: A theory of objects / Martín Abadi, Luca Cardelli.