@misc{indiciae7aa3ce248906,
  title = {Soundly Handling Static Fields: Issues, Semantics and Analysis},
  author = {Laurent Hubert and David Pichardie},
  year = {2010},
  doi = {10.1016/j.entcs.2009.11.012},
  url = {https://arxiv.org/abs/1007.3249},
  note = {Source identifier: 1007.3249}
}