@第{zbMATH06767309条，作者={Camilleri，John J.和Schneider，Gerardo}，标题={规范性文件的建模和分析}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN＝{2352-2208}，体积={91}，页码={33--59}，年份={2017年}，语言={英语}，DOI={10.1016/j.jlamp.2017.05.002}，关键词={68Q60,03B70,68Q45}，zbMATH={6767309}，Zbl={1371.68176}}