托拜厄斯·隆格;塔比亚·博迪斯;亚历克斯·波坦;托马斯·图姆;伊娜·谢弗 通过施工程序灵活校正。 （英语） Zbl 07731927号 日志。方法计算。科学。 19，第2号，第16号论文，36页（2023年）。MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Runge}等人，日志。方法计算。科学。19，第2号，第16号论文，36页（2023；Zbl 07731927） 全文： 内政部 arXiv公司 OA许可证
斯科特·史密斯。;艾米·扎里科（Amy E.Zwarico）。 可以证明异步电路的合成是正确的。 （英语） Zbl 0759.94022号 设计正确的电路，程序。第二届IFIP工作组10.2/WG 10.5研讨会，林比/丹麦，1992年，237-260（1992年）。MSC公司：94立方厘米 94C12号机组 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Smith}和\textit{A.E.Zwarico}，in：设计正确的电路。第二届IFIP工作组10.2/WG 10.5研讨会会议记录，丹麦林比，1992年1月6日至8日。阿姆斯特丹等地：荷兰北部。237--260（1992年；Zbl 0759.94022）