A range of operating systems written in a purely functional style (1984)

by Simon B Jones