@article{Seidl96Fast,
  author = {Helmut Seidl},
  title = {Fast and {S}imple {N}ested {F}ixpoints},
  journal = {Universit\"at Trier, Mathematik/Informatik, Forschungsbericht},
  year = 1996,
  volume = {96-05},
}