Zaslat SMS: An introduction to distributed algorithms / Valmir C. Barbosa.