弗朗西斯科·杜兰;何塞·梅塞盖尔 莫德的模代数。 （英语） 兹伯利1116.68047 科学。计算。程序。 66，第2期，125-153（2007）.MSC公司：60年第68季度 68号30 2012年第68季度 03B70号 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer}，科学。计算。程序。66，No.2，125--153（2007；Zbl 1116.68047） 全文： DOI程序
罗伯托·布鲁尼;何塞·梅塞盖尔 广义重写理论的语义基础。 （英语） Zbl 1097.68051号 西奥。计算。科学。 360，编号1-3，386-414（2006）.MSC公司：2012年第68季度 68问题55 68问题85 03B70号 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit｛R.Bruni｝和\textit｛J.Meseguer｝，Theor。计算。科学。360，编号1--3386--414（2006；Zbl 1097.68051） 全文： DOI程序
约瑟夫·戈根;格兰特·马尔科姆;坎普，汤姆 隐藏的赫伯兰德定理：结合对象和逻辑范式。 （英语） Zbl 1012.03041号 J.日志。阿尔盖布。程序。 51，第1期，1-41页（2002年）.MSC公司：03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Goguen}等人，J.Log。阿尔盖布。程序。51，第1号，1--41（2002；Zbl 1012.03041） 全文： DOI程序
拉兹万·迪亚科内斯库 格罗森迪克机构。 （英语） Zbl 1008.68078号 申请。类别。结构。 10，第4期，383-402（2002）.MSC公司：68问题65 18立方厘米 03G30型 08A70型 PDF格式BibTeX公司 XML格式引用 \textit｛R.Diaconescu｝，申请。类别。结构。10，第4号，383--402（2002；Zbl 1008.68078） 全文： DOI程序
多雷尔·卢卡努;奥维迪乌·盖奥吉斯;阿德里亚娜·阿佩特里 互模拟和隐代数。 （英语） 兹比尔1126.08300 Jacobs，Bart（编辑）等人，CMCS’99。计算机科学中的协代数方法第二次研讨会论文集。欧洲软件理论与实践联合会议（ETAPS'99）的卫星活动。荷兰阿姆斯特丹，1999年3月20日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记19，电子论文13号（1999）。MSC公司：08A70型 03G30型 18 C50 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人，《电子》。注释Theor。计算。科学。19，电子文件第13号（1999；Zbl 1126.08300） 全文： DOI程序
拉兹万·迪亚科内斯库 机构的额外理论形态：多仿生语言的逻辑语义。 （英语） Zbl 0919.68087号 申请。类别。结构。 6，第4期，427-453（1998年）.MSC公司：68问题55 65年第68季度 18立方厘米 03G30型 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{R.Diaconescu}，应用。类别。结构。6，第4号，427--453（1998；Zbl 0919.68087） 全文： DOI程序
何塞·梅塞盖尔;乌戈·蒙塔纳里 将平铺逻辑映射到重写逻辑。 （英语） Zbl 0903.08010 Parisi Presicce，Francesco（编辑），代数开发技术的最新趋势。1997年6月3日至7日，第12届国际研讨会，WADT’97，意大利塔基尼亚。精选论文。柏林：斯普林格。莱克特。票据计算。科学。1376, 62-91 (1998).MSC公司：08A70型 68问题65 18立方厘米 2010年第68季度 68问题55 18D05日 18日第10天 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{U.Montanari}，莱克特。票据计算。科学。1376、62-91（1998年；Zbl 0903.08010）