采用形式语言及自动机技术描述ISDN用户/网络信令 - 许志红; 顾学道 (Tongxin xuebao)