Formalization of Transform Methods Using HOL Light. - Rashid, Adnan; Hasan, Osman (2017)