The design and implementation of an operating system in a functional language. - John R. G. Cupitt (1989)