Using Formal Models to Explore Display-Based Usability Issues

Richard Butterworth, Ann Blandford, David J. Duke. Using Formal Models to Explore Display-Based Usability Issues. Journal of Computer Languages, 10(4):455-479, 1999.

Abstract

Abstract is missing.