@InCollection｛zbMATH00676977，作者={Hinze，Ralf}，标题={程序优化的Kan扩展{Or}:{Art}和{Dan}解释一个旧技巧}，BookTitle={程序构建的数学。第11届国际会议，MPC 2012，西班牙马德里，2012年6月25日至27日。诉讼}，国际标准图书编号={978-3-642-31112-3}，页码={324--362}，年份={2012}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3642-31113-0_16}，关键词={68N18,18A40,18C15}，zbMATH={6076977}，Zbl=｛1358.68057｝}