@InProceedings{PittsAM:fullans,
  author =	 {S. L{\"o}sch and A. M. Pitts},
  title =	 {Full Abstraction for Nominal Scott Domains},
  booktitle =	 {40th {ACM SIGACT-SIGPLAN} Symposium on Principles of
                  Programming Languages (POPL 2013), Rome, Italy},
  pages =	 {3--14},
  year =	 2013,
  publisher =	 {ACM Press},
  month =	 jan,
  doi =		 {http://dx.doi.org/10.1145/2429069.2429073}
}