@第{zbMATH07004964条，作者={Doberkat，Ernst-Erich}，Title={使用coalebras和{Giry}monad解释游戏逻辑——教程}，FJournal={计算机科学前沿}，日志={Front.Comput.Sci.}，ISSN={2095-2228}，体积={11}，数字={6}，页码={948--970}，年份={2017年}，语言={英语}，DOI={10.1007/s11704-016-6155-5}，关键词={68Q85,03B45,03B70,03G30,18C20,68Q87}，zbMATH={7004964}，Zbl={1403.68139}}