@进行中{哈伍德MS06，title={弱互模拟近似}，author={Will Harwood、Faron Moller和Anton Setzer}，年份={2006}，doi={10.1007/11874683_24}，url={http://dx.doi.org/10.1007/11874683_24},研究人员={https://researchr.org/publication/HarwoodMS06},引用={0}，引用者={0}，页数={365-379}，booktitle={计算机科学逻辑，第20届国际研讨会，CSL 2006，第15届EACSL年会，塞格德，匈牙利，2006年9月25日至29日，Proceedings}，editor={佐尔坦·埃西克}，体积={4207}，series={计算机科学讲稿}，publisher={Springer}，isbn={3-540-45458-6}，}