zbMATH参考文献（参考 54篇文章 参考）

1. Im，Hyeonseung；Genevès，Pierre；Gesbert，Nils；Layaïda，Nabil:XML查询的反向类型推理（2020）
2. 《语义编程的本质》（Martin StanbeläLäf，2017年；斯泰芬语义学（The Essential of semantic data）；马丁•斯坦伯格（Martin StanbeläLäLäf）；语义编程（The Essential of The functional data；The
3. Ciobanu，Gabriel；Horne，Ross；Sassone，Vladimiro:RDF模式的描述性类型基础（2016）
4. Kutsia，Temur；Marin，Mircae:正则表达式顺序排序的统一与匹配（2015）
5. Laneve，Cosimo；Padovani，Luca:web服务契约的代数理论（2015）
6. Bonsangue，Marcello；Rot，Jurriaan；Ancona，Davide；de Boer，Frank；Rutten，Jan:共同生产工会类型的煤炭基础（2014年）
7. David Aspinall；Denney，Ewen；Lüth，Christoph:证据查询和转换的语义基础（2013）
8. 皮尔斯，大卫J.：有联合，交叉和否定的健全和完全流类型（2013）
9. Seo，Jeongbong；Park，Sungwoo：具有交叉口类型和模态类型的判断子类型系统（2013）
10. Maneth，Sebastian；Friese，Sylvia；Seidl，Helmut：树木行走传感器的类型检查（2012年）
11. Backes，Michael；Hriţcu，Cătălin；Tarrach，Thorsten:自动验证数据处理语言的输入约束（2011）ioport公司
12. Castagna，Giuseppe；Xu，Zhiwu:参数多态性和亚型化的理论基础（2011）
13. Gesbert，Nils；Genevès，Pierre；Layaïda，Nabil:参数多态性和语义子类型：逻辑联系（2011）
14. Hosoya，Haruo:XML处理的基础。树自动机方法。（2011年）
15. 陈磊；陈海明：不相交产生式规则正则树文法的子类型化算法（2010）
16. 松田，Kazutaka；Mu，Shin Cheng；Hu，镇江；Takeichi，Masato：基于语法的可逆程序方法（2010）
17. Carpineti，Samuele；Laneve，Cosimo；Padovani，Luca:PiDuce——一个试验web服务技术的项目（2009年）
18. Gelade，Wouter；Martens，Wim；Neven，Frank:优化XML模式语言：数值约束和交错（2009）
19. Genevès，Pierre；Layaïda，Nabil；Quint，Vincent:识别查询与不断发展的XML模式的不兼容性（2009）
20. Martens，Wim；Neven，Frank；Schwentick，Thomas:XML模式和链正则表达式决策问题的复杂性（2009）