ACM Conference on Computer Science 1987: St. Louis, Missouri, USA