Theorem Provers In Circuit Design door Ramayya Kumar