J.-K. Rho

“Finite State Models for the Optimization and Verification of Digital Systems,” 1993.