@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.}, }