STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 143 CLASSICAL RECURSION VOLUME II
P.G.ODIFREDDI1999 年出版949 页ISBN：044450205X
Fundamentals of digital logic with Verilog design Third Edition = 数字逻辑与Verilog设计 (第3版)
Stephen Brown ; Zvonko Vranesic2014 年出版848 页ISBN：7302366850
