ISO和CCITT的形式描述技术 - 肖军模 (Tongxin xuebao)