Title: An optimizing interpreter for concurrent transaction logic
First published: 2000