Fast and simple nested fixpoints. - Seidl, Helmut
Keywords: Evaluation of fixpoint expressions; Hierarchical systems of equation; Model-checking.