@techreport{TUD-SERG-2015-001,
  title = {A Theory of Name Resolution with extended Coverage and Proofs},
  author = {Pierre Neron and Andrew P. Tolmach and Eelco Visser and Guido Wachsmuth},
  year = {2015},
  month = {January},
  note = {Extended version of ESOP 2015 paper "A Theory of Name Resolution"},
  researchr = {https://researchr.org/publication/TUD-SERG-2015-001},
  cites = {0},
  citedby = {0},
  institution = {Software Engineering Research Group. Delft University of Technology},
  type = {Technical Report},
  number = {TUD-SERG-2015-001},
}

@techreport{TUD-SERG-2016-010,
  title = {Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics},
  author = {Casper Bach Poulsen and Pierre Neron and Andrew P. Tolmach and Eelco Visser},
  year = {2016},
  researchr = {https://researchr.org/publication/TUD-SERG-2016-010},
  cites = {0},
  citedby = {0},
  institution = {Delft University of Technology, Programming Languages Research Group},
  number = {TUD-SERG-2016-010},
  address = {Delft, The Netherlands},
}