Fast and simple nested fixpoints. - Seidl, Helmut (Information processing letters.)