The Algebraic Structure and Deductive System of Syntactic Categories
YU Jiang-sheng
中文信息学报 . 2001, (2): 10 -16 .