Distributed Computing and Internet Technology - Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida; Parida, Laxmi; Prasad, Sanjiva (Springer International Publishing, 2016)