@misc{indiciae55abebc26f92,
  title = {A thread calculus with molecular dynamics},
  author = {J. A. Bergstra and C. A. Middelburg},
  year = {2008},
  doi = {10.1016/j.ic.2010.01.004},
  url = {https://arxiv.org/abs/0711.0840},
  note = {Source identifier: 0711.0840}
}