Title: A range of operating systems written in a purely functional style
First published: 1985