Shih, T.K. 2012. A Z Specification Approach to Multimedia Modeling. Computing and Informatics. 16, 5 (Jan. 2012), 465–495.