Distributed operating systems and algorithms - Randy Chow (Addison Wesley Longman, 1997)