马丁·格罗·罗德 异构软件规范的语义集成。 （英语） Zbl 1058.68073号 理论计算机科学专著。EATCS系列柏林：施普林格出版社（ISBN 3-540-40257-8/hbk）。ix，第327页。(2004). 审核人：克里斯托夫·梅内尔（特里尔） MSC公司：60年第68季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit｛M.Große-Rhode｝，异构软件规范的语义集成。柏林：施普林格出版社（2004；Zbl 1058.68073）
马丁·格罗·罗德;弗朗西斯科·帕里西总统;玛尔塔·西蒙 带有类型化图形转换系统的细化和模块的正式软件规范。 （英语） Zbl 1013.68066号 J.计算。系统。科学。 64，第2期，171-218（2002）.MSC公司：68号30 68兰特 60年第68季度 2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Große-Rhode}等人，J.计算。系统。科学。64，第2号，171--218（2002；Zbl 1013.68066）
马丁·格罗·罗德 基于代数变换系统的CCS和UNITY交替位协议规范的组合比较。 （英语） 兹伯利0963.68125 Araki，Keijiro（编辑）等人，IFM 99。《第一届综合形式方法国际会议论文集》，英国约克，1999年6月28日至29日。伦敦：斯普林格。253-272（1999年）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Große-Rhode}，in：IFM 99。《第一届综合形式方法国际会议论文集》，英国约克，1999年6月28日至29日。伦敦：斯普林格。253--272（1999；Zbl 0963.68125）