Vulcan: logical concurrent objects (1987)

by Kenneth Kahn, Eric Dean Tribble, Mark S Miller, Danniel G Bobrow
Venue:In Concurrent Prolog: Collected Papers, chapter 30