A range of operating systems written in a purely functional style /
Jones, Simon B.
Oxford University Computing Laboratory.Programming Research Group.
Oxford : Oxford University Computing Laboratory, Programming Research Group,
1985.