斯特凡·布隆;伯特·利瑟;范德波尔（Jaco van de Pol）;迈克尔·韦伯 分布式状态空间生成的数据库方法。 （英语） Zbl 1277.68161号 乔纳·伊瓦纳（编辑）等人，《第六届平行和分布式验证方法国际研讨会论文集》（PDMC 2007），德国柏林，2007年7月8日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记198，第1期，17-32页（2008年）。MSC公司：68问题85 第68页，共15页 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Blom}等人，《电子》。注释Theor。计算。科学。198，编号1，17-32（2008；Zbl 1277.68161） 全文： 内政部
布隆，斯特凡;范德波尔（Jaco van de Pol） 具有递归数据类型的过程代数的符号可达性。 （英语） Zbl 1161.68613号 Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160，81-95（2008）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Blom}和\textit{J.van de Pol}，莱克特。注释计算。科学。5160、81-95（2008年；Zbl 1161.68613） 全文： 内政部 链接