A Linear Algorithm for Solving Fixed-Point Equations on Transition Systems.

Bart Vergauwen Johan Lewi A Linear Algorithm for Solving Fixed-Point Equations on Transition Systems. 322-341 1992 conf/caap/1992 CAAP db/conf/caap/caap92.html#VergauwenL92 http://dx.doi.org/10.1007/3-540-55251-0_18