Generating numerical literals during refinement
1997 ◽
pp. 61-76
◽