@misc{indiciaeb898e3dadcca,
  title = {Generating Python Code From Object-Z Specifications},
  author = {A. F. Al Azzawi and M. Bettaz and H. M. Al-Refai},
  year = {2018},
  url = {https://arxiv.org/abs/1802.06224},
  note = {Source identifier: 1802.06224}
}