Jonathan M. Smith Gerald Q. Maguire Jr. Transparent Concurrent Execution of Mutually Exclusive Alternatives. 44-52 1989 ICDCS db/conf/icdcs/icdcs89.html#SmithM89