Henry Massalin Calton Pu Threads and Input/Output in the Synthesis Kernel. 191-201 1989 SOSP db/conf/sosp/sosp89.html#MassalinP89