Efficient Computation of Nested Fix-Points, with Applications to Model Checking. - Bart Vergauwen; Johan Lewi; I. Avau; A. Poté (ICTL, 1994)