"The two-state solution: native and serializable continuations accord."

Jay A. McCarthy (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics