Perez, I., & Nilsson, H. (2017). Testing and debugging functional reactive programming. Proceedings of the ACM on Programming Languages, 1(1), Article 2. https://doi.org/10.1145/3110246