%0 Journal Article %T Book Review: An introduction to Kolmogorov Complexity and its Applications Second Edition, 1997 by Ming Li and Paul Vitanyi (Springer (Graduate Text Series)) %A Gasarch, William %A , %J Proceedings of ACM conference on Proving assertions about programs %@ 0163-5700 %D 1997-09-01 %I Association for Computing Machinery (ACM) %~ DeepDyve