@article{Haase2016,
  author    = {Oliver Haase},
  title     = {Abstract Interpretation of Java Bytecode for Immutability Analysis},
  journal   = {Journal of Computer Science},
  volume    = {12},
  number    = {7},
  pages     = {314 -- 322},
  doi       = {10.3844/jcssp.2016.314.322},
  year        = {2016},
}