米歇尔·比多特（编辑）;汉斯·约尔格·克鲁斯基（编辑）;皮埃尔·莱斯坎（编辑）;唐纳德·桑内拉（编辑） 代数系统规范和开发。调查和注释书目。 （英文） Zbl 0875.68642号 计算机科学课堂讲稿. 501. 柏林等：Springer-Verlag。八、 98 p.DM 29.50/sc（1991）。 引用于11文件 MSC公司： 第68季度第65季度 抽象数据类型；代数规范 68-02 与计算机科学有关的研究展览会（专著、调查文章） 关键词：代数系统规范;开发;参考文献 软件：Smalltalk公司;Nuprl公司;低成本融资;模糊的 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}（编辑）等，代数系统规范和开发。调查和注释书目。柏林等：Springer-Verlag（1991；Zbl 0875.68642）