Akbarpour, Behzad (2005) Modeling and verification of DSP designs in HOL. PhD thesis, Concordia University.