Declarative Programming of User Interfaces. - Michael Hanus; Christof Kluß (PADL, 2009)