@techreport{BeckertBrunsEA2013,
  author      = {Bernhard Beckert and Daniel Bruns and Vladimir Klebanov
                 and Christoph Scheben and Peter H. Schmitt and Mattias Ulbrich },
  title       = {Information Flow in Object-Oriented Software: Extended Version},
  institution = {Department of Informatics, Karlsruhe Institute of Technology},
  number      = {2013-14},
  series      = {Karlsruhe Reports in Informatics},
  url         = {https://publikationen.bibliothek.kit.edu/1000037606},
  year        = {2013}
}