Invia SMS: Logic for concurrency and synchronisation / edited by Ruy J.G.B. de Queiroz.