Ming Li Paul M. B. Vitányi Kolmogorov Complexity and its Applications. 187-254 1990 Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity (A) db/books/collections/leeuwen90.html#LiV90