Foundations of a native implementation of the Mungi kernel
Networked Digital Library of Theses and Dissertations