协议规范、验证及测试的新发展(英文) - G.V.波赫曼 (Tongxin xuebao)