A semantic model for graphical user interfaces (2011)

by Neelakantan R Krishnaswami, Nick Benton
Venue:ACM SIGPLAN Notices