@misc{indiciaed2bc84e70a2f, title = {A Divergence Formula for Randomness and Dimension (Short Version)}, author = {Jack H. Lutz}, year = {2009}, doi = {10.4204/eptcs.1.14}, url = {https://arxiv.org/abs/0906.4162}, note = {Source identifier: 0906.4162} }