This paper is a revised version of an article by the same title and author which appeared in the April 1991 issue of Communications of the ACM.……
