Colin Sterling Taming Infinite State Spaces. 1 1991 conf/cav/1991 CAV db/conf/cav/cav91.html#Sterling91 http://dx.doi.org/10.1007/3-540-55179-4_1