Distributed Systems: Theory and Applications - Ghosh (IEEE, 2023)