LF : a language for reliable embedded systems - Van Riet, F. A. (Stellenbosch : Stellenbosch University, 2012)
Thesis (MSc)--University of Stellenbosch, 2001.