J.A.伯格斯特拉。;茅，S。;F.维迪杰克。 等式有限集的一致代数规范。 （英语） Zbl 0739.68066号 发现的国际期刊。计算。科学。 2，第1号，43-65（1991）. 摘要：我们研究了多种方法来指定一个包含布尔（B）的两排序结构，其中包含常量true和false，以及一个有限集（D），其中布尔的等式函数为（eq），前提是每个元素都有一个常量（名称）。规范是根据几个属性进行评估的，例如文本长度、执行效率和特殊功能的使用。 引用于1文件 MSC公司： 68问题65 抽象数据类型；代数规范 关键词：形式化描述技术;抽象数据类型;代数规范 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人，国际法学研究所。计算。科学。2，编号1，43-65（1991年；Zbl 0739.68066） 全文： 内政部