Validation of a microkernel : a case study - De Villiers, Pieter Jan Albertus (Stellenbosch : Stellenbosch University, 2012)
Dissertation (Ph.D) -- University of Stellenbosch, 1999.