A Domain-Specific Language for Discrete Mathematics. - Rohit Jha; Alfy Samuel; Ashmee Pawar; M. Kiruthika (CoRR, 2013)