@Inproceedings{EPTCS1.14,
  author    = {Lutz, Jack H.},
  year      = {2009},
  title     = {A Divergence Formula for Randomness and Dimension (Short Version)},
  editor    = {Neary, Turlough and Woods, Damien and Seda, Tony and Murphy, Niall},
  booktitle = {{\rm Proceedings International Workshop on}
               The Complexity of Simple Programs,
               {\rm Cork, Ireland, 6-7th December 2008}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {1},
  publisher = {Open Publishing Association},
  pages     = {149-152},
  doi       = {10.4204/EPTCS.1.14},
}