- Nikolaj Bjørner, Sanjiva Prasad, Laxmi Parida, editors, Distributed Computing and Internet Technology - 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings. Volume 9581 of Lecture Notes in Computer Science, Springer, 2016.