Timothy K. Shih, Ding-An Chiang, Huan-Chao Keh, Chien-Chou Shih. Formal specification of multimedia authoring. In Proceedings of the 1996 International Workshop on Multimedia Software Development, MMSD 1996, Berlin, Germany, March 25-26, 1996. pages 128-137, IEEE Computer Society, 1996. [doi]
Abstract is missing.