A logic for programming database transactions (1998)

by A Bonner, M Kifer
Venue:Logics for Databases and Information Systems, chapter 5