Shih, T. K. (2012). A Z Specification Approach to Multimedia Modeling. Computing and Informatics, 16(5), 465–495. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/650