@misc{indiciaed490ae45af54,
  title = {A Higher-Order Logic for Concurrent Termination-Preserving Refinement},
  author = {Joseph Tassarotti and Ralf Jung and Robert Harper},
  year = {2017},
  url = {https://arxiv.org/abs/1701.05888},
  note = {Source identifier: 1701.05888}
}