Investigating the non-termination of affine loops - Durant, Kevin (Stellenbosch : Stellenbosch University, 2013)
Thesis (MSc)--Stellenbosch University, 2013.