published in Proceedings of the 1986 ACM fourteenth annual conference on Computer science - CSC '86 Journal