协议工程方法学综论 - 史美林; 朱劲松 (Tongxin xuebao)