大卫·哈雷;意大利塞格尔 基于场景的规范综合。 （英语） Zbl 1246.68095号 J.计算。系统。科学。 78，第3号，970-980（2012）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}和\textit{I.Segall}，J.Comput。系统。科学。78，第3号，970--980（2012；Zbl 1246.68095） 全文： 内政部
大卫·哈雷;毛兹，沙哈尔;意大利塞格尔 关于LSC表达能力和复杂性的一些结果。 （英语） Zbl 1133.68375号 Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。计算机科学课堂讲稿4800，351-366（2008）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛D.Harel｝等人，Lect。注释计算。科学。4800、351--366（2008年；Zbl 1133.68375） 全文： 内政部