A transaction logic for database specification (1988)

by X Qian
Venue:In International Conference on Management of Data and Symposium on Principles of Database Systems