Title: Formal methods for the verification of digital circuits
First published: 1997