Generating Python Code From Object-Z Specifications. - A. F. Al Azzawi; Mohamed Bettaz; H. M. Al-Refai (CoRR, 2018)