@techreport{Seidl96FastTR,
  author = {Helmut Seidl},
  title = {Fast and {S}imple {N}ested {F}ixpoints},
  year = 1996,
  pages = {303-308},
  series = {Forschungsbericht},
  volume = {59},
  number = {6},
  publisher = {Inf. Process. Lett.},
}