Logics for digital circuit verification. Theory, algorithms, and applications - Janssen, Gradus Leonardus Johannes Maria (Technická univerzita, 1999)