弗洛里安·布鲁斯;约格·克里克;马丁·兰格;马尔科·萨利泽 局部高阶不动点迭代。 （英语） Zbl 07629168号 Inf.计算。 289，B部分，文章ID 104963，17 p.（2022）.MSC公司：第68季度55 08A70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bruse}等人，《信息计算》。289，B部分，文章ID 104963，17 p.（2022；Zbl 07629168） 全文： 内政部 arXiv公司
弗洛里安·布鲁斯;约格·克里克;马丁·兰格;马尔科·萨利泽 局部高阶不动点迭代。 （英语） Zbl 07455743号 Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32697-113（2020年）。MSC公司：第68季度55 08A70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bruse}等人，《电子》。程序。西奥。计算。科学。（EPTCS）32697--113（2020；Zbl 07455743） 全文： arXiv公司 链接
Kreiker，J。;代表，T。;北卡罗来纳州里内茨基。;萨吉夫，M。;Reinhard威廉;E.雅哈夫。 有效无切口程序的跨过程形状分析。 （英语） Zbl 1383.68025号 沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，414-445（2013）。MSC公司：68号30 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{J.Kreiker}等人，Lect。注释计算。科学。7797、414--445（2013；Zbl 1383.68025） 全文： 内政部