@misc{indiciae2a79bccd0952,
  title = {Translating Xd-C programs to MSVL programs},
  author = {Meng Wang and Cong Tian and Nan Zhang and Zhenhua Duan and Chenguang Yao},
  year = {2019},
  url = {https://arxiv.org/abs/1809.00959},
  note = {Source identifier: 1809.00959}
}