1. Symbolic Model Checking;McMillan,1993
2. Logic Synthesis and Verification Algorithms;Hachtel,1996
3. SAT and ATPG: Algorithms for Boolean decision problems;Kunz,2002
4. VHDL & Verilog compared & contrasted–Plus modeled example written in VHDL, Verilog and C;Smith,1996
5. O. Wienand, The Groebner basis of the ideal of vanishing polynomials, arXiv:0709.2978v1[math.AC]