Abstract
We define a notion of program which is not a computer program but an operator program: a detailed description of actions performed and
decisions taken by a human operator (computer user) performing a task to achieve a goal in a simple setting consisting of that user, one or more computers and
... read more