Kabir, Md. Humayun (2007) Automatic inductive theorem proving and program construction methods using program transformation. PhD thesis, Dublin City University.