Designing a New Class of Distributed Systems - Mikkilineni, Rao (Springer New York, 2011)