Hussein, Mohamed H. Zaki (2003) Syntactic model reduction for hardware verification. Masters thesis, Concordia University.