@收款{zbMATH06539445，作者={Meseguer，Jos{\ee}和Skeirik，Stephen}，标题={初始有序代数}中的方程公式和模式运算，BookTitle={Logic-based program synthesis and transformation.第25届国际研讨会，LOPSTR 2015，锡耶纳，意大利，2015年7月13-15日。修订选定论文}，国际标准图书编号={978-3-319-27435-5；978-3-3169-27436-2}，页码={36--53}，年份={2015年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-319-27436-2_3}，关键词={68N30,03B70,68N15,68Q45}，zbMATH={6539445}，Zbl={1362.68053}}