1[3]Jennings R. Windows 3.1 Multimedia. Beijing: Tsinghua University &Prentice Hall, 1994:45-90
2[5]Sharvy R. Review on Kassler's paper. Journal of Symbolic Logic, 1975;40(4) :576-577
3[6]Sawamura H. Intensional logic of music and its mechanization with the HOL Theorem Prover. Proc. of ICCMMS '96, 1996:68-83
4[7]Baggi D.L. Computer,1991;24(1):6-11
5[8]He Pei. Algebra system for computer music. Proceedings of the Fifth International Conf erence for Young Computer Scientists, 1999:1017-1020
6[9]Pei He. Algebraic perspectives on computer music. Proceedings of the Sixth International Conference on CAD/CG' 99,1999:1034-1039
7[12]He Pei, Li Renwei, Zhang Wenhui. Theory and practice for XYZ/VERI system. IFIP Trans. On Automated Reasoning, North-Holland: Elsevier Science Publishers B.V., 1993: 239-248
8[13]Ti Renwei(黎仁蔚),He Pei(何锫),Zhang Wenhui(张文辉).An introduction to INCAPS system. Journal of Computer Science and Technology, 1993;8(1) :26-37
9[14]He Pei, Tang Zhisong. Chinese Journal of Advanced Software Research,1999;6(1) :51-55
10[15]Hungerford T. W. Algebra, New York: Springer-Verlag, 1985: 23-24
9Moussa A S, Baker T E A Dynamic Micmtunable MIDI System:Problems and Solutlons[C]//Proceedings of the 5th Biannual World Automation Congress. 2002, 13: 339-344.