Dion, David (1996). "A User-Level Unix Server for the SPIN Operating System". University of Washington Technical Report UW-CSE-96-11-01. ↩