Aug 1992], "The design and implementation of an operating system in a functional language (0)

by J Cupitt