Proceedings of the 1986 ACM fourteenth annual conference on Computer science