Maria Vicente A. Bonto-Kane Use of formal computational models for designing intelligent mobile device interfaces. 171-173 2007 Mobile HCI http://doi.acm.org/10.1145/1377999.1378001 conf/mhci/2007 db/conf/mhci/mhci2007.html#Bonto-Kane07