Pisini, Vijay Kumar (2000) Integration of HOL and MDG for hardware verification. Masters thesis, Concordia University.