Reactive programming vs. Reactive systems (2016)
oreilly.com
oreilly.com
Modeling Reactive Systems with Statecharts: The STATEMATE Approach
by D. Harel and M. Politi, 1998
http://www.wisdom.weizmann.ac.il/~harel/reactive_systems.htm...
Design Methods for Reactive Systems: Yourdon, Statemate and the UML
by Roel Wieringa, Morgan-Kaufmann Publishers, 2003
This is all about specifying reactive systems though, not about how they are programmed.