Yates, Daniel, Nancy Lynch, Victor Luchangco, and Margo Seltzer. 1999. “I/O automaton model of operating system primitives.” Master's thesis, Harvard University and MIT. Copy at http://www.tinyurl.com/y6nzmhf4