ACM Conference on Computer Science 1986: Cincinnati, Ohio, USA