罗伯特·布里德;亨德里克·扬(Hendrik Jan),胡格布姆(Hoogeboom) 纤毛虫的纤维和还原图范围。 (英语) Zbl 1151.68563号 学报信息。 45,第5号,383-402(2008).MSC公司:68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Brijder}和\textit{H.J.Hoogeboom},Acta Inf.45,第5期,第383--402页(2008年;Zbl 1151.68563) 全文: 内政部 arXiv公司
拉里萨·梅尼基;伊恩·海耶斯。 概率作用系统和while-loop的代数推理。 (英语) Zbl 1161.68014号 学报信息。 45,第5号,321-382(2008).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Meinicke}和\textit{I.J.Hayes},《学报》第45期,第5期,第321--382页(2008年;Zbl 1161.68014) 全文: 内政部