A semantic model for graphical user interfaces (2011)

by N R Krishnaswami, N Benton
Venue:In ICFP ’11