黑山，曼努埃尔;里卡多·佩纳;克拉拉·塞古拉 资源语义和抽象机保险柜：一种带有区域和显式释放的函数式语言。 （英语） Zbl 1358.68059号 Inf.计算。 235, 3-35 (2014).MSC公司：68甲18 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{M.黑山}等人，Inf.计算。235，3--35（2014；Zbl 1358.68059） 全文： 内政部
黑山，曼努埃尔;里卡多·佩纳;克拉拉·塞古拉 具有显式释放功能语言的资源软件语义和抽象机。 （英语） Zbl 1347.68054号 Falaschi，Moreno（编辑），第17届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2008），意大利锡耶纳，2008年7月3日至4日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记246167-182（2009）。MSC公司：68甲18 03B70号 68甲15 68N20型 68号30 68第05页 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.黑山}等人，电子。注释Theor。计算。科学。246167--182（2009年；Zbl 1347.68054） 全文： 内政部
黑山，曼努埃尔;里卡多·佩纳;克拉拉·塞古拉 一种保证安全销毁的推理算法。 （英语） Zbl 1185.68200号 Michael Hanus（编辑），基于逻辑的程序合成和转换。2008年7月17日至18日，西班牙巴伦西亚，第18届国际研讨会，LOPSTR 2008。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-00514-5/pbk）。计算机科学课堂讲稿5438，135-151（2009）。MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.黑山}等人，Lect。注释计算。科学。5438、135--151（2009年；Zbl 1185.68200） 全文： 内政部