Modelling distributed systems - Fokkink, Wan, 1965- (New York, NY : Springer, 2007)
57