The flux OSKit: A substrate for kernel and language research (1997)

by B Ford, G Back, G Benson, J Lepreau, A Lin, O Shivers
Venue:in Proceedings of the 16th ACM Symposium on Operating Systems Principles