修该了一处引用
处理了第三章和参考文献相关的FIXME，增加了一些参考文献条目
修改了第四章与参考文献相关的FIXME
处理了第五章与参考文献相关的的FIXME
增加了附录A，给出了Rat形式语法
修正了第三章中对附录A的引用
增加了附录B标量原语
修改了第四章中对附录B的引用FIXME
Merge branch 'master' into anonymous