有关sdl语言的问题

cxhappy

大家好，我现在在做802.11的mac层的协议栈。我现在是参考的ANSI/IEEE Std 802.11,1999文献附录c中的sdl框图在telelogic tau sdl suite软件中进行一系列工作。我把附录中的sdl框图输进去进行语法分析后报了很多错误，其中有一个是关于package macsorts中对串结构bitstring的定义，里面的写法是：adding literals macro Hex_Literals；我参考了很多讲了sdl语法的书籍，都没有这样的写法，也尝试了很多修改，但是还是报错。如果有做过这方面的工作的大侠能否指导一下或者推荐一下和sdl语法相关的文档和书籍？谢谢各位了！