@misc{indiciae64f96dcde2cb,
  title = {A Concrete Representation of Observational Equivalence for PCF},
  author = {Martin Churchill and James Laird and Guy McCusker},
  year = {2010},
  url = {https://arxiv.org/abs/1003.0107},
  note = {Source identifier: 1003.0107}
}