An efficient method for incremental attribute evaluation by using multi-dependency. - Qi Lu; Jiahua Qian (COMPSAC, 1988)

Design, Proof and Analysis of New Efficient Algorithms for Incremental Attribute Evaluation. - Qi Lu; Jiahua Qian (MFCS, 1988)

The implementation of nonlocal dependency relationship in interactive environment. - Yong Zheng; Jiahua Qian (COMPSAC, 1989)

Transformation technique of algebraic specification. - Liqun Jin; Jiahua Qian (COMPSAC, 1990)

EASE: an embedded algebraic specification environment. - Jiahua Qian; Yong Zheng; Liqun Jin; Jinhua Zhang (COMPSAC, 1990)