Companion to the first International Conference on the Art, Science and Engineering of Programming
ACM Digital Library