Colin S. Gordon, Werner Dietl, Michael D. Ernst, Dan Grossman: Java UI : Effects for Controlling UI Object Access. ECOOP 2013: 179-204