Jiang, Y., & Pan, H. (1998). 形式语义学引论 (Introduction to Formal Semantics). China Social Science Publishing House