John D. Day: Resource Sharing Protocols. Computer 12(9): 47-56 (1979)