阿齐姆·查德哈里;埃德·罗宾斯;安迪·金 递增闭合八边形。 （英语） Zbl 1425.68242号 形式方法系统。设计。 54，第2号，232-277（2019）.理学硕士：68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Chawdhary}等人，《形式方法系统》。设计。54，No.2，232--277（2019；Zbl 1425.68242） 全文： 内政部 arXiv公司 OA许可证
阿齐姆·查德哈里;安迪·金 紧差分界矩阵。 （英语） Zbl 1503.68177号 Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695471-490（2017年）。理学硕士：68问题55 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Chawdhary}和\textit{A.King}，莱克特。注释计算。科学。10695471-490（2017年；兹bl 1503.68177） 全文： 内政部 链接