@article{Barmpalias2017RandomNumbersAs,
  year      = 2017,
  publisher = {Elsevier},
  volume    = {673},
  pages     = {1--18},
  author    = {G. Barmpalias and D. Cenzer and C. P. Porter},
  title     = {Random numbers as probabilities of machine behavior},
  journal   = {Theor. Comput. Sci.},
}