阿纳玛丽亚·马丁斯·莫雷拉;克里斯托夫·林盖森;戴维·戴哈贝;利马,格莱德森 使用基于术语和基于图形的表示操作代数规范。 (英语) Zbl 1068.68084号 J.日志。阿尔盖布。程序。 59,编号1-2,63-87(2004).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Moreira}等人,J.Log。阿尔盖布。程序。59,编号1--2,63-87(2004;Zbl 1068.68084) 全文: 内政部
H.A.德容。;奥利维尔,P.A。 从语法定义生成抽象编程接口。 (英语) 兹比尔1068.68045 J.日志。阿尔盖布。程序。 59,编号1-2,35-61(2004).MSC公司:68号30 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.A.de Jong}和\textit{P.A.Olivier},J.Log。阿尔盖布。程序。59,编号1--2,35-61(2004;Zbl 1068.68045) 全文: 内政部 链接
皮埃尔·埃蒂安·莫罗;奥利维尔·曾德拉 GC(^{2}):ATERM库的代保守垃圾收集器。 (英语) Zbl 1067.68577号 J.日志。阿尔盖布。程序。 59,第1-2号,第5-34号(2004年).MSC公司:2012年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{P.-E.Moreau}和\textit{O.Zendra},J.Log。阿尔盖布。程序。59,编号1--2,5--34(2004;Zbl 1067.68577) 全文: 内政部