@进行中{GhaniMFS13，title={光纤数据类型}，author={Neil Ghani和Lorenzo Malatesta以及Fredrik Nordvall Forsberg和Anton Setzer}，年份={2013}，doi={10.1109/LICS.2013.30}，url={http://doi.ieecoputersociety.org/10.1109/LICS.2013.30},研究人员={https://researchr.org/publication/GhaniMFS13},引用={0}，引用者={0}，页数={243-252}，booktitle={2013年6月25日至28日，美国洛杉矶新奥尔良，2013年第28届ACM/IEEE计算机科学逻辑年会，publisher={IEEE计算机协会}，isbn={978-1-4799-0413-6}，}