@InCollection{zbMATH06198940，作者={Abrial，Jean-Raymond}，标题={计算的集合理论模型}，BookTitle={编程理论和形式方法。纪念何继峰70岁生日的文章}，国际标准图书编号={978-3-642-39697-7}，页码={1--22}，年份={2013}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-39698-4_1}，关键词={68Q05,03E75,68N30,68Q10}，zbMATH={6198940}，Zbl={1390.68297}}