Using Kleene algebra to reason about concurrency control (1994)

by Ernie Cohen