古罗夫,帝力;玛丽克·赫斯曼 通过过程将程序的行为属性减少为结构属性。 (英语) Zbl 1291.68259号 西奥。计算。科学。 480, 69-103 (2013).MSC公司:60年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Gurov}和\textit{M.Huisman},Theor。计算。科学。480,69-103(2013;Zbl 1291.68259) 全文: 内政部
罗伯托·贾科巴齐;弗朗西斯科·兰扎托 精炼和压缩抽象域。 (英语) Zbl 1401.68197号 Degano,Pierpaolo(编辑)等人,《自动化,语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林:Springer-Verlag(ISBN 978-3-540-63165-1/pbk;978-3-540-69194-5/电子书)。计算机科学课堂讲稿1256771-781(1997)。MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Giacobazzi}和\textit{F.Ranzato},莱克特。注释计算。科学。1256771--781(1997年;Zbl 1401.68197) 全文: 内政部