Distributed Applications and Interoperable Systems - Bessani (Springer International Publishing, 2015)