@misc{indiciae09b425d0869f,
  title = {Relating Nominal and Higher-order Abstract Syntax Specifications},
  author = {Andrew Gacek},
  year = {2010},
  url = {https://arxiv.org/abs/1003.5447},
  note = {Source identifier: 1003.5447}
}