Enviar por SMS: Theorem Provers in Circuit Design : Theory, Practice and Experience Second International Conference, TPCD '94 Bad Herrenalb, Germany, September 26-28, 1994 Proceedings / edited by Ramayya Kumar, Thomas Kropf.