@第{zbMATH06841146条，作者={Drabent，W{\l}odzimierz}，标题={逻辑+控制：关于程序构造和验证}，FJournal={逻辑程序设计理论与实践}，Journal={Theory-Pract.Log.Program.}，ISSN={1471-0684}，体积={18}，数字={1}，页码={1--29}，年份={2018年}，语言={英语}，DOI={10.1017/S147106841700047}，关键词={68N17,68Q60}，zbMATH={6841146}，Zbl={1425.68051}}