Say, A. C. C. Improved Reasoning About Infinity Using Qualitative Simulation. Comput. Inform. 2012, 20, 487-507.