Compcon spring 86 intellectual leverage Digest of papers 31st IEEE CS International Conference San Francisco, California, March 3-6 - Bell, Alan G. (IEEE Computer Society Press, 1986)