A model checker for the LF system - Gerber, Erick D. B. (Stellenbosch : Stellenbosch University, 2012)
Thesis (MSc)--University of Stellenbosch, 2007.