@书籍{zbMATH00814830，作者={Manna，Zohar and Waldinger，Richard}，Title＝｛计算机编程的演绎基础。（｛A｝1卷版本的“｛计算机编程的逻辑基础”。）｝，国际标准图书编号={0-201-54886-0}，年份={1993}，出版商={Reading，马萨诸塞州：Addison-Wesley}，语言={英语}，关键词={68N01,68-01,68T15}，zbMATH={814830}，Zbl={0846.68013}}