Say, A.C.C. 2012. Improved Reasoning About Infinity Using Qualitative Simulation. COMPUTING AND INFORMATICS. 20, 5 (Feb. 2012), 487–507.