Using protocol analysis to study the user interface