ACM Conference on Computer Science 1985: New Orleans, Louisiana, USA