Database Specification using Transaction Sets

Michael F. Worboys. Database Specification using Transaction Sets. In David J. Harper, Moira C. Norrie, editors, Specifications of Database Systems. Workshops in Computing, pages 300-311, Springer, 1992. [doi]

Abstract

Abstract is missing.