@article{Penner:7400,
      author        = "Penner, Osmar",
      title         = "{}",
}