Title: A semantic approach to correctness of concurrent transaction executions
First published: 1984