proceedings ACM Annual Computer Science Conference. Proceedings of the 1985 ACM thirteenth annual conference on Computer Science. New York: ACM Press Proceedings