WidgetLens: a system for adaptive content magnification of widgets. - B. Agarwal; Wolfgang Stuerzlinger (BCS HCI, 2013)