Books about Synchronous Reactive Communication: Generalization, Implementation, And Optimization.