@misc{indiciae2d6c50ea087b,
  title = {A Domain-Specific Language for Discrete Mathematics},
  author = {Rohit Jha and Alfy Samuel and Ashmee Pawar and M. Kiruthika},
  year = {2013},
  doi = {10.5120/12036-7257},
  url = {https://arxiv.org/abs/1310.3473},
  note = {Source identifier: 1310.3473}
}