Efficiency issues in the design of a model checker - Geldenhuys, Jacobus (Stellenbosch : Stellenbosch University, 2012)
Thesis (M.Sc.) -- University of Stellenbosch, 1999.