Proceedings of the 15th annual conference on Computer Science
ACM Digital Library