Richard Gerber, Insup Lee: A Proof System for Communicating Shared Resources. RTSS 1990: 288-299