From a formal user model to design rules Paul Curzon, Ann Blandford in Chapter, Heidelberg DOI: 10.1007/3-540-36235-5_1