德拉恩西纳，A。;L·拉纳。;卢比奥，F。 基于自然语义的调试系统。 （英语） Zbl 1217.68051号 加州大学洛杉矶分校 15，第14号，2836-2880（2009）.MSC公司：68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.De La Encina}等人，J.UCS 15，No.14，2836--2880（2009；Zbl 1217.68051） 全文： 链接
阿尔贝托·德拉·恩西纳;里卡多·佩纳 从自然语义到C：两个STG机器的形式化派生。 （英语） Zbl 1159.68005号 J.功能。程序。 19，第1期，47-94（2009）.MSC公司：68甲18 68N20型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.de la Encina}和\textit{R.PeñA}，J.Funct。程序。19，第1号，47-94（2009年；兹bl 1159.68005） 全文： DOI程序
阿尔贝托·德拉·恩西纳;路易斯·拉纳;费尔南多·鲁比奥 在Haskell中规范调试过程。 （英语） Zbl 1169.68359号 Dang Van Hung（编辑）等人，《计算的理论方面——ICTAC 2005》。第二届国际学术讨论会，越南河内，2005年10月17日至21日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29107-5/pbk）。计算机科学课堂讲稿3722211-226（2005）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit｛A.de la Encina｝等人，Lect。票据计算。科学。3722、211-226（2005年；Zbl 1169.68359） 全文： DOI程序