Locking and Reference Counting in the Mach Kernel. - David L. Black 001; Avadis Tevanian; David B. Golub; Michael W. Young (ICPP (2), 1991)