Compcon spring 84 intellectual leverage the driving technologies Digest of papers 28th IEEE CS International Conference San Francisco, California, February 27 - March 1 (IEEE Computer Society Press, 1984)