Demetrescu, C., et al.. Programming Language Techniques for Incremental and Reactive Computing (dagstuhl Seminar 16402). no. 10, Feb. 2017, doi:10.4230/dagrep.6.10.1.