Defining user interfaces for computer activity

Abstract

In this paper an approach to the problem of specification of user interfaces for computer activity is described. It is based on work done in attempting to provide a tool for a formal definition of the user interface to a job transfer and manipulation network protocol.