@第{zbMATH06965097条，作者={Haucourt，Emmanuel}，Title={保守程序的几何结构}，FJournal={计算机科学中的数学结构}，Journal＝{数学结构计算科学}，ISSN={0960-1295}，体积={28}，数字={10}，页码={1723---1769}，年份={2018}，语言={英语}，DOI={10.1017/S0960129517000226}，关键词={68N30,68Q85}，zbMATH={6965097}，Zbl={1400.68057}}