马丁·霍夫曼;马丁·兰格 自动机理论和逻辑。（自动化理论与逻辑） （德语） Zbl 1257.68003号 eXamen.新闻。柏林：施普林格出版社（ISBN 978-3-642-18089-7/pbk；978-3-442-18090-3/电子书）。x、 240页。(2011). 审核人：Klaus D.Kiermeier（柏林） MSC公司：68-01 68-02 03-01 03B25号 03B44号 03B70号 05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}和\textit{M.Lange}，《自动化与逻辑》。柏林：施普林格出版社（2011；Zbl 1257.68003） 全文： 内政部
克里斯蒂安·达克斯;马丁·霍夫曼;马丁·兰格 线性时间微积分的一个证明系统。 （英语） Zbl 1163.03308号 Arun-Kumar，S.（编辑）等人，FSTTCS 2006：软件技术和理论计算机科学基础。第26届国际会议，印度加尔各答，2006年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-49994-7/pbk）。计算机科学课堂讲稿4337，273-284（2006）。MSC公司：03B44号 03B25号 03B70号 05年3月 20层03 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dax}等人，Lect。注释计算。科学。4337273--284（2006年；Zbl 1163.03308） 全文： 内政部