米盖尔·瓦莱罗·埃斯帕达;范德波尔（Jaco van de Pol） CRL的抽象解释工具包。 （英文） Zbl 1116.68058号 形式方法系统。设计。 30，第3期，249-273（2007）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Valero Espada}和\textit{J.van de Pol}，《形式方法系统》。设计。30，第3号，249--273（2007；Zbl 1116.68058） 全文： 内政部
米格尔·瓦莱罗·埃斯帕达;范德波尔（Jaco van de Pol） 标签转换系统的加速模式抽象。 （英文） Zbl 1236.68181号 Johnson，Michael（编辑）等人，《代数方法论和软件技术》。2006年7月5日至8日在爱沙尼亚库雷萨雷举行的2006年AMAST第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-35633-2/pbk）。计算机科学讲稿4019，338-352（2006）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Espada}和\textit{J.van de Pol}，莱克特。注释计算。科学。4019、338--352（2006年；Zbl 1236.68181） 全文： 内政部
西蒙娜·奥尔赞;范德波尔（Jaco van de Pol）;米盖尔·瓦莱罗·埃斯帕达 基于抽象解释的状态空间分配策略。 （英文） 兹比尔1272.68273 Brim，Luboš（ed.）等人，第三届平行和分布式验证方法国际研讨会论文集（PDMC 2004），英国伦敦，2004年9月4日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》128，第3期，35-45（2005）。MSC公司：60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Orzan}等人，《电子》。注释Theor。计算。科学。128，第3号，35-45（2005；Zbl 1272.68273） 全文： 链接
范德波尔（Jaco van de Pol）;米盖尔·瓦莱罗·埃斯帕达 CRL中的模态抽象。 （英文） Zbl 1108.68533号 Rattray，Charles（编辑）等人，代数方法论和软件技术。2004年7月12日至16日在英国苏格兰斯特灵举行的第十届国际会议，AMAST 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22381-9/pbk）。计算机科学讲义3116，409-425（2004）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.van de Pol}和\textit{M.Valero Espada}，莱克特。注释计算。科学。3116409--425（2004年；Zbl 1108.68533） 全文： 内政部
范德波尔（Jaco van de Pol）;米盖尔·瓦莱罗·埃斯帕达 使用\（\mu\）CRL对JavaSpaces体系结构进行正式规范。 （英文） Zbl 1053.68511号 Arbab，Farhad（编辑）等人，《协调模型和语言》。第五届国际会议，COORDINATION 2002，英国约克，2002年4月8日至11日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43410-0）。勒克特。注释计算。科学。2315, 274-290 (2002).MSC公司：68米14 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.van de Pol}和\textit{M.Valero Espada}，莱克特。注释计算。科学。2315274-290（2002年；Zbl 1053.68511） 全文： 链接