菲利普·比丁格;阿德里亚娜·孔皮诺尼 重新检查Pict的正确性。 （英语） Zbl 1169.68029号 西奥。计算。科学。 410，编号2-3，114-127（2009）.MSC公司：68问题85 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bidinger}和\textit{A.Compagnoni}，Theor。计算。科学。410，编号2--3，114-127（2009；Zbl 1169.68029） 全文： 内政部
菲利普·比丁格;阿德里安娜·孔帕尼奥尼 重新检查Pict的正确性。 （英语） Zbl 1202.68093号 Bonsange，Marcello M.（编辑）等人，开放式基于对象的分布式系统的形式化方法。2007年6月6日至8日在塞浦路斯帕福斯举行的第九届IFIP工作组6.1国际会议FMOODS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-72919-8/pbk）。计算机科学课堂讲稿4468，206-220（2007）。MSC公司：68甲19 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{P.Bidinger}和\textit{A.Compagnoni}，莱克特。票据计算。科学。4468、206-220（2007；Zbl 1202.68093） 全文： 内政部