Theorem provers in circuit design theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings - Kumar, Ramayya 1957-; Kropf, Thomas 1961- (Lecture notes in computer science, 1995)