Thank you for sharing this. It is somewhat staggering to come across a paper that so perfectly captures that problems that one encounters, and discover that it

Thank you for sharing this. It is somewhat staggering to come across a paper that so perfectly captures that problems that one encounters, and discover that it was written nearly two decades before. This is a comprehensive review of human factors affecting interaction with nearly any "formal" system where "formal" means anything from a color wheel to a prolog database. I have repeatedly encountered these issues while working on a formal language for specifying scientific protocols. I knew I had my work cut out in terms of finding a way to create an interface that non-expert users could work with, but this makes it clear just how critical it is for the tools not to distract the user from their expert thinking. This poses and incredible design challenge, and that is without any discussion of variability between users!