Anthony J. Bonner Michael Kifer transaction Logic: An (Early) Exposé. 1-24 1992 conf/db-workshops/1992 Formal Methods in Databases and Software Engineering db/conf/db-workshops/fmdbse1992.html#BonnerK92