Perez, I., Bärenz, M., & Nilsson, H. (2016). Functional reactive programming, refactored.