卢茨·施罗德;蒂尔·莫萨科夫斯基 HasCasl：集成高阶规范和程序开发。 （英语） Zbl 1172.68040号 西奥。计算。科学。 410，编号12-13，1217-1260（2009）.MSC公司：68问题65 03B15号机组 03B70号 68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder}和\textit{T.Mossakowski}，Theor。计算。科学。410，编号12--131217--1260（2009；Zbl 1172.68040） 全文： DOI程序
卢茨·施罗德 HASCASL序言：部分演算的分类语法和语义。 （英语） Zbl 1088.68116号 西奥。计算。科学。 353，编号1-3，1-25（2006）.MSC公司：68问题65 68甲18 03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \文本｛L.Schröder｝，Theor。计算。科学。353，编号1-3,1-25（2006年；兹bl 1088.68116） 全文： DOI程序
卢茨·施罗德 部分等式逻辑的分类。 （英语） Zbl 1270.03147号 Rick Blute（编辑）等人，CTCS’02。2002年8月15日至17日，加拿大安大略省渥太华市，第九届类别理论与计算机科学会议论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记69，305-322（2003）。MSC公司：03G30型 03B40型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{L.Schröder}，电子。注释Theor。计算。科学。69、305-322（2003年；Zbl 1270.03147） 全文： DOI程序