乔泽夫·胡曼；范德波尔（Jaco van de Pol） 定时分布式数据空间体系结构的语义模型。 （英语） Zbl 1070.68084号 西奥。计算。科学。 331，编号2-3291-323（2005）.MSC公司：第68季度55 60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.Hooman}和\textit{J.van de Pol}，Theor。计算。科学。331，编号2--3，291--323（2005；Zbl 1070.68084） 全文： 内政部 链接
乔泽夫·胡曼；范德波尔（Jaco van de Pol） 分布式数据空间体系结构的等效语义模型。 （英语） Zbl 1254.68108号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2002年11月5日至8日，第一届国际研讨会，FMCO 2002，荷兰莱顿。修订的讲座。柏林：施普林格出版社（ISBN 3-540-20303-6/pbk）。莱克特。票据计算。科学。2852, 182-201 (2003).MSC公司：第68页，共15页 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.Hooman}和\textit{J.van de Pol}，莱克特。票据计算。科学。2852、182--201（2003年；Zbl 1254.68108） 全文： 内政部
范德波尔（Jaco van de Pol）；乔泽夫·胡曼；埃德温·德容 数据和行为的模块化形式规范。 （英语） Zbl 0963.68141号 Araki，Keijiro（编辑）等人，IFM 99。《第一届综合形式方法国际会议论文集》，英国约克，1999年6月28日至29日。伦敦：斯普林格。109-128 (1999).MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.van de Pol}等人，in：IFM 99。《第一届综合形式方法国际会议论文集》，英国约克，1999年6月28日至29日。伦敦：斯普林格。109-128（1999年；兹bl 0963.68141）