Distributed Computing and Internet Technology - Nikolaj Bjorner, Sanjiva Prasad, Laxmi Parida (Springer, 2016)