佩德罗·里贝罗;安娜·卡瓦尔坎蒂 通过UTP为CSP提供天使流程。 （英语） Zbl 1410.68236号 西奥。计算。科学。 756, 19-63 (2019).MSC公司：60年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Ribeiro}和\textit{A.Cavalcanti}，Theor。计算。科学。756、19-63（2019年；Zbl 1410.68236） 全文： 内政部 链接
泽达，弗兰克;马塞尔·奥利维拉;安娜·卡瓦尔坎蒂 对完善战术的机械化支持。 （英语） Zbl 1242.68077号 正式Asp。计算。 24，第1期，127-160（2012）.MSC公司：68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}等人，《正式Asp》。计算。24，第1号，127--160（2012；Zbl 1242.68077） 全文： 内政部
马塞尔·奥利维拉;泽达，弗兰克;安娜·卡瓦尔坎蒂 一种用于细化状态丰富并发规范的策略语言。 （英语） Zbl 1218.68101号 科学。计算。程序。 76，第9期，792-833（2011）.MSC公司：60年第68季度 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Oliveira}等人，科学。计算。程序。76，第9号，792--833（2011；Zbl 1218.68101） 全文： 内政部
泽达，弗兰克;安娜·卡瓦尔坎蒂 Circus程序的自动化完善。 （英语） Zbl 1325.68163号 Davies，Jim（编辑）等人，《形式方法：基础和应用》。2010年11月8日至11日，第13届巴西正式方法研讨会，SBMF 2010，巴西纳塔尔。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-19828-1/pbk）。计算机科学课堂讲稿6527274-290（2011）。MSC公司：68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}和\textit{A.Cavalcanti}，莱克特。注释计算。科学。6527274--290（2011年；Zbl 1325.68163） 全文： 内政部
大卫·阿斯皮纳尔;丹尼·埃文;克里斯托夫·吕斯 分级证明的策略。 （英语） Zbl 1205.68359号 数学。计算。科学。 3，第3号，309-330（2010）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人，数学。计算。科学。3，第3号，309--330（2010；Zbl 1205.68359） 全文： 内政部
安娜·卡瓦尔坎蒂;吉姆·伍德科克;史蒂夫·邓恩 程序设计统一理论中的天使般的不确定性。 （英语） Zbl 1105.68012号 正式Asp。计算。 18，第3期，288-307（2006）.MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人，《正式Asp》。计算。18，第3号，288--307（2006；Zbl 1105.68012） 全文： 内政部 链接
马克·乌廷;彼得·罗宾逊;雷·尼克森 Ergo 6：使用Prolog验证技术的通用验证引擎。 （英语） 兹比尔1068.68683 LMS J.计算。数学。 5, 194-219 (2002).MSC公司：68吨15 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Utting}等人，LMS J.Compute。数学。5、194-219（2002年；Zbl 1068.68683） 全文： 内政部 链接
马丁·A·P。;P.H.B.加德纳。;伍德科克，J.C.P。 战术演算简写版。 （英语） Zbl 0857.68094号 正式Asp。计算。 8，第4期，479-489（1996）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Martin}等人，正式Asp。计算。8，第4号，479--489（1996；Zbl 0857.68094） 全文： 内政部