A new scheme for writing functional operating systems (1984)

by W R Stoye