@书籍{zbMATH00043992，编辑＝｛Wirsing，Martin和Bergstra，Jan A.｝，标题={代数方法：理论、工具和应用。{研讨会}，1987年6月9日至11日在{Passau}，{FRG}举行。{会议记录}}，F系列={计算机科学课堂讲稿}，系列={Lect.Notes Compute.Sci.}，ISSN={0302-9743}，体积＝{394}，国际标准图书编号={3-540-51698-0}，年份={1989年}，Publisher={Berlin等：Springer-Verlag}，语言={英语}，关键词={68-06,68Q65,68Q55,68Q60}，zbMATH={43992}，Zbl={0745.68019}}