Laureano Lambán;维科·帕斯夸尔;朱利奥·鲁比奥 EAT系统的面向对象解释。 （英语） Zbl 1046.68140号 申请。代数工程通讯。计算。 14，第3期，187-215（2003）.MSC公司：68瓦30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Lambán}等人，应用。代数工程通讯。计算。14，第3号，187--215（2003；Zbl 1046.68140） 全文： DOI程序
塞萨尔·多明格斯;Laureano Lambán;帕斯夸尔，维科;朱利奥·鲁比奥 功能系统的隐藏规范。 （英语） Zbl 1023.68129号 Moreno-Díaz，Roberto（编辑）等人，《计算机辅助系统理论-EUROCAST 2001》。2001年2月19日至23日，西班牙大加那利拉斯帕尔马斯第八届国际研讨会论文选集。修订论文。柏林：斯普林格。莱克特。票据计算。科学。2178, 555-569 (2001).MSC公司：68瓦30 68第05页 68甲18 55-04 PDF格式BibTeX公司 XML格式引用 \textit{C.Domínguez}等人，Lect。票据计算。科学。2178555--569（2001年；Zbl 1023.68129） 全文： 链接