Demonstrating the cognitive plausibility of interactive systems, Formal Aspects of Computing 12 (2000)

by R Butterworth, A Blandford, D Duke