@article{MuellerMoeller2014,
  author    = {Martin E. M{\"u}ller and Bernhard M{\"o}ller},
  title     = {On nothing},
  series   = {Journal of Logical and Algebraic Methods in Programming},
  volume    = {83},
  number    = {2},
  publisher = {Elsevier},
  issn      = {2352-2208},
  doi       = {10.1016/j.jlap.2014.02.016},
  pages     = {309 -- 317},
  year      = {2014},
  language  = {en}
}