Synthesizing user interfaces using functional reactive web abstractions. - Adam Granicz; Jozsef Uri; Andras Janko (Programming, 2020)