@书籍{zbMATH07330887，作者＝｛Cousot，Patrick｝，标题={抽象解释原则}，国际标准图书编号={978-0-262-04490-5}，年份={2021}，出版商={剑桥，马萨诸塞州：麻省理工学院出版社}，语言={英语}，关键词={68-01,68N01,68Q55,68Q60}，zbMATH={7330887}，Zbl={1494.68002}}