多里安·多迪耶;Trinh Ngoc Quoc Bao公司;Kazuhiro绪方 一种用于命令式编程语言编译器形式验证的证明分数方法。 （英语） Zbl 1504.68037号 田聪（编辑）等，结构化面向对象形式语言和方法。2017年11月16日，中国西安，2017年第七届SOFL+MSVL国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10795, 200-217 (2018).MSC公司：68N20型 68甲15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Daudier}等人，Lect。注释计算。科学。10795，200-217（2018；Zbl 1504.68037） 全文： DOI程序
何塞·梅塞盖尔;斯蒂芬·斯基里克 初始排序代数中的等式公式和模式运算。 （英语） Zbl 1362.68054号 正式Asp。计算。 29，第3期，423-452（2017）.MSC公司：68号30 03B70号 68甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{S.Skeirik}，正式Asp。计算。29，第3号，423--452（2017；Zbl 1362.68054） 全文： DOI程序
何塞·梅塞盖尔;斯蒂芬·斯基里克 初始有序代数中的方程公式和模式运算。 （英语） Zbl 1362.68053号 Falaschi，Moreno（编辑），基于逻辑的程序合成和转换。2015年7月13日至15日，第25届国际研讨会，LOPSTR 2015，意大利锡耶纳。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-27435-5/pbk；978-3-3169-27436-2/电子书）。计算机科学课堂讲稿9527，36-53（2015）。MSC公司：68号30 03B70号 68甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{S.Skeirik}，莱克特。注释计算。科学。9527，36-53（2015；Zbl 1362.68053） 全文： DOI程序
何塞·梅塞盖尔 二十年的逻辑重写。 （英语） Zbl 1267.03043号 J.日志。阿尔盖布。程序。 81，编号7-8，721-781（2012）. 审核人：约翰·乔治·格兰斯特罗姆（苏黎世） MSC公司：03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}，J.Log。阿尔盖布。程序。81，编号7--8，721--781（2012；Zbl 1267.03043） 全文： DOI程序
拉兹万·迪亚科内斯库 将部分代数编码为全代数。 （英语） Zbl 1202.68245号 信息处理。莱特。 109，编号23-24，1245-1251（2009）.MSC公司：60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}，Inf.过程。莱特。109，编号23-24，1245--1251（2009；Zbl 1202.68245） 全文： DOI程序
本·波特;简·辛克莱;直到，大卫 形式规范和Z的介绍。代表。 （英语） 兹比尔08316.8063 普伦蒂斯·霍尔计算机科学国际系列。纽约州纽约市：普伦蒂斯·霍尔。xiii，304 p.（1995）。 审核人：H.J.施耐德（爱尔兰根） MSC公司：60年第68季度 68甲15 68-01 PDF格式BibTeX公司 XML格式引用 \textit{B.Potter}等人，《形式规范和Z.Repr.介绍》，纽约：普伦蒂斯·霍尔（1995；Zbl 0831.68063）
道格拉斯·史密斯。;Michael R.劳里。 算法理论和设计策略。 （英语） Zbl 0705.68077号 科学。计算。程序。 14，编号2-3，305-321（1990）.MSC公司：60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Smith}和\textit{M.R.Lowry}，科学。计算。程序。14，编号2--3，305-321（1990；Zbl 0705.68077） 全文： DOI程序