A New Scheme for Writing Functional Operating Systems (1985)

by W STOYE