亚历山德罗·罗西尼;胡安·德·拉腊;埃丝特·盖拉;阿德里安·拉特尔;乌韦·沃尔特 深度元建模的形式化。 （英语） Zbl 1342.68098号 正式Asp。计算。 26，第6期，1115-1152（2014）.MSC公司：68纳米30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rossini}等人，正式Asp。计算。26，No.6，1115--1152（2014；Zbl 1342.68098） 全文： 内政部 链接
佩雷斯·贝拉斯科，佩德罗·巴勃罗;胡安·德·拉腊 使用矩阵图文法分析行为规范：顺序和并行独立性。 （英语） 兹比尔1278.68126 Pimentel，Ernesto（编辑），第七届西班牙编程和计算机语言会议记录（PROLE 2007），西班牙萨拉戈萨，2007年9月12日至14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记206，133-152（2008）。MSC公司：2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.P.Pérez Velasco}和\textit{J.de Lara}，电子。注释Theor。计算。科学。206、133--152（2007年；Zbl 1278.68126） 全文： 链接