Anna, et al.. Structured Synchronous Reactive Programming with Cýu. ACM Press, 2015, doi:10.1145/2724525.2724571.