Curzon, P.; Blandford, A.; (2001) A user model for avoiding design induced errors in soft-key interactive systems. Presented at: The 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001), Edinburgh, UK.