Oulie
Formal specification and verification in VLSI design by Bruce S. Davie — Oulie