Huang, H. (2011) “Capturing the distinction between task and device errors in a formal model of user behaviour”, Electronic Communications of the EASST, 45. doi: 10.14279/tuj.eceasst.45.656.