Lopez-Fraguas，Francisco J。;恩里克·马丁·马汀;胡安·罗德里格斯·奥尔塔拉 具有不透明模式和本地绑定的功能逻辑程序的安全类型。 （英语） Zbl 1358.68058号 Inf.计算。 235, 36-69 (2014).MSC公司：68甲18 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.J.López-Fraguas}等人，《信息计算》。235、36-69（2014；Zbl 1358.68058） 全文： 内政部
洛佩斯·弗拉瓜斯，弗朗西斯科·哈维尔;胡安·罗德里格斯·奥尔塔拉;詹姆·桑切斯·埃尔南德斯 构造函数系统的完全抽象语义。 （英语） Zbl 1242.68137号 Treinen，Ralf（编辑），重写技术和应用。2009年6月29日至7月1日在巴西巴西利亚举行的RTA 2009第20届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02347-7/pbk）。计算机科学课堂讲稿5595320-334（2009）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.J.López-Fraguas}等人，Lect。注释计算。科学。5595、320-334（2009年；Zbl 1242.68137） 全文： 内政部