Design and Implementation of an Operating System (1999)

by Guangrui Fu
Venue:in Standard ML. Master’s thesis, University of Hawaii at Manoa