Bart Vergauwen Johan Lewi I. Avau A. Poté Efficient Computation of Nested Fix-Points, with Applications to Model Checking. 165-179 1994 conf/ictl/1994 ICTL db/conf/ictl/ictl1994.html#VergauwenLAP94