The design and implementation of an operating system in a functional language (1990)

by J Cupitt